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
#921: well-foundedness check is wrong
bug
critical
new
2016-08-08
2016-08-08
#602: Memory issue in BDDs. Probably related to arithmetic.
bug
critical
new
2013-12-05
2013-12-05
#414: Negation handling in recursive definitions.
bug
critical
new
2013-04-15
2013-04-15