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
#219: IDP-Lua does not accept "= #L" as command after "L = {}"
bug
minor
wontfix
Stef De Pooter
2012-08-28
2013-10-08
#181: CP support should check whether the domains are not infinite.
bug
minor
invalid
Stef De Pooter
2012-06-04
2013-03-03
#115: DeriveTermBounds should cleanly handle all functions
bug
minor
resolved
Stef De Pooter
2.1
2012-03-05
2013-01-30
#312: lua print is very slow because it does not use streams but has to return a complete string.
enhancement
minor
new
Stef De Pooter
2013-01-09
2013-01-13
#288: Allow search tracing re-using existing IDP infrastructure
Inferences
enhancement
minor
new
Stef De Pooter
2012-12-04
2013-01-04
#234: Aggtermgrounder incorrect for known sets
bug
minor
resolved
Stef De Pooter
2012-09-29
2012-10-03