Actions
Bug #4858
closed[solver] Поддержка результатов типа true/false
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