KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–3 of 3)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#427: Grounding overflow when searching multiple models.
cp-support
bug
major
resolved
2013-05-23
2013-08-17
#447: bug in cp grounding
cp-support
bug
major
resolved
Broes De Cat
2013-06-17
2013-07-23
#449: Shared Tseitin detection and CP support
cp-support
bug
major
resolved
2013-06-20
2013-06-21