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
#852: Printer prints too much brackets
bug
minor
new
Pieter Van Hertum
2014-11-19
2014-11-21
#843: unsat when LUP is active
bug
minor
new
Pieter Van Hertum
2014-11-06
2014-11-19
#766: Printing (function?) symbols
bug
minor
new
Pieter Van Hertum
2014-06-06
2014-06-06
#711: Parsing FOBDDS: shared pointer to managers
bug
minor
new
Pieter Van Hertum
2014-03-24
2014-03-24
#705: BDD nondeterminism in a very specific case
task
minor
new
Pieter Van Hertum
2014-03-17
2014-03-17