Project

General

Profile

Bug #4858

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

Added by Mikhail Lebedev over 6 years ago. Updated about 6 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)"]

History

#1

Updated by Sergey Smolov over 6 years ago

  • Tracker changed from Task to Bug
#2

Updated by Alexander Kamkin about 6 years ago

  • Target version set to 0.3
#3

Updated by Andrei Tatarnikov about 6 years ago

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

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

#4

Updated by Andrei Tatarnikov about 6 years ago

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

Also available in: Atom PDF