KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–6 of 6)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#723: Memory issues
bug
major
new
Broes De Cat
2014-03-28
2014-05-21
#701: Cp does only a partial job of allowing nested function terms
bug
major
new
Broes De Cat
2014-03-11
2014-03-11
#349: Terugpropageren unit propagatie minisatid
enhancement
major
new
Broes De Cat
2013-02-11
2013-08-17
#379: Type detection with theorem prover
proposal
major
new
Broes De Cat
2013-03-05
2013-03-05
#299: Allow feature-based unit testing
Testing
enhancement
major
new
Broes De Cat
2012-12-17
2013-01-15
#291: Improve lazy grounding size estimations using the estimations already in idp.
enhancement
major
new
Broes De Cat
2012-12-06
2012-12-06