krr / IDP / issues / #743 - Unsatcore features — Bitbucket

Issue #743 resolved

Ingmar Dasseville created an issue 2014-04-28

do not stop IDP when asking an unsatcore for a satisfiable theory
print to std-out instead of std-error

Comments (2)

Broes De Cat
- assigned issue to
  
  Broes De Cat
- marked as minor
- 2014-04-28T12:52:22+00:00
Ingmar Dasseville reporter
- changed status to resolved
- 2014-08-28T08:02:30+00:00
Log in to comment

Assignee: Broes De Cat

Type: enhancement

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!