KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–5 of 5)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#430: Memory overflow with CP support
cp-support
bug
minor
resolved
Broes De Cat
2013-05-27
2013-10-09
#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
#429: Timeout with CP-support
cp-support
bug
minor
resolved
Broes De Cat
2013-05-27
2013-06-14