KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–4 of 4)
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
#441: Grounding to conditional sums and products
cp-support
task
major
resolved
Broes De Cat
2013-06-12
2013-06-14