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
#827: Querying fails for very simple BDDs.
bug
major
new
JoD
2014-10-13
2014-10-22
#791: Multiple models solver bug
bug
major
new
JoD
2014-08-06
2014-08-08
#471: Constructed types should be printed in the vocabulary
bug
major
new
JoD
2013-07-18
2013-10-08
#494: Fix the transfer from cp-off to cp-on properly in the test environment.
bug
major
new
JoD
2013-08-08
2013-08-08
#448: Inline typing of variables is not allowed
bug
major
new
JoD
2013-06-18
2013-07-30
#90: Symmetry Breaking vs NbModels
proposal
major
new
JoD
2012-01-12
2013-01-30