- changed status to resolved
Debug Janhunen transformation and write out theory in cnf
Issue #73
resolved
For the problog group
Comments (2)
-
-
reporter - removed milestone
Removing milestone: Second Release (automated comment)
- Log in to comment