KRR
software
IDP
Issues
Unit tests for unsat_core extraction / debugging
Issue #532
new
Broes De Cat
created an issue
2013-10-07
Checking models against the expected theory.
Comments (0)
Log in to comment
Assignee
–
Type
enhancement
Priority
minor
Status
new
Component
–
Version
–
Votes
0
Watchers
0