1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–22 of 22)

Title T P Status Votes Assignee Version Created Updated Actions
#852: Printer prints too much brackets
bug minor new
#853: Parsing Card Enumsets
bug major resolved
#765: Printing sums
bug major resolved
#843: unsat when LUP is active
bug minor new
#812: BDD's generating all strings
bug major open
#200: Printing of procedures
task major new
#766: Printing (function?) symbols
bug minor new
#745: Another case of approximation not always finding the correct generator
bug major new 1
#711: Parsing FOBDDS: shared pointer to managers
bug minor new
#705: BDD nondeterminism in a very specific case
task minor new
#664: Estimators for bdds should not use ints
bug major new
#632: Master is broken: aggregates
bug major resolved
#480: Order of printing sorts (parseable printing)
bug major resolved
#199: Add new enum-quantset form to the parser
Parser
task major resolved
#580: Minimum aggregates are no longer parsed
bug major resolved
#512: Only print predicates "Fully Qualified " when needed
enhancement major resolved
#623: printing functions and predicates with the same name
bug major resolved
#573: Parser is broken
bug critical resolved
#392: IDP printer sometimes forgets points
bug major new
#142: Presburger improvement for BDDs
BDDs
enhancement major new
#145: Printout all information in correct idp syntax
enhancement major new
#274: Creating infinite grounding when old version didn't
bug major new