Project

General

Profile

Actions

Bug #4858

closed

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

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

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
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

Also available in: Atom PDF