krr / IDP / issues / #73 - Debug Janhunen transformation and write out theory in cnf — Bitbucket

Issue #73 resolved

Broes De Cat created an issue 2011-12-16

For the problog group

Comments (2)

Bart Bogaerts
- changed status to resolved
- 2012-03-13T12:27:06+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:51+00:00
Log in to comment

Assignee: Broes De Cat

Type: enhancement

Priority: minor

Status: resolved

Component: MinisatID

Version: –

Votes: 0

Watchers: 0

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