Project

General

Profile

Actions
Copy link

Bug #4858

closed

[solver] Поддержка результатов типа true/false

Added by Mikhail Lebedev about 10 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
0.3
Start date:
04/16/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
140915

Description

Необходимо реализовать поддержку результатов для булевых переменных.
Сейчас результат

sat
((x1 false)
(x2 true))

преобразуется в ошибки

[Unexpected solver output: "((x1 false)", Unexpected solver output: " (x2 true)"]

Actions
Copy link
 #1

Updated by Sergey Smolov about 10 years ago

  • Tracker changed from Task to Bug
Actions
Copy link
 #2

Updated by Alexander Kamkin over 9 years ago

  • Target version set to 0.3
Actions
Copy link
 #3

Updated by Andrei Tatarnikov over 9 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Исправлено в r529. Добавлен соответствующий тест r530.

Actions
Copy link
 #4

Updated by Andrei Tatarnikov over 9 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 140915
Actions
Copy link

Also available in: Atom PDF