Issues
- 0
Frontend would be a good addition
#76 opened by ellmau - 1
- 0
Streamlined output of logging information
#75 opened by ellmau - 1
Restrict with list of variable values
#115 opened by ellmau - 0
slow restrict functionality
#102 opened by ellmau - 0
Thread-safe BDD access
#80 opened by ellmau - 0
Efficient usage of caches for BDDs
#99 opened by ellmau - 0
Analysis of recursion reduction
#100 opened by ellmau - 1
- 0
Representation of nogoods
#64 opened by ellmau - 0
- 0
Three valued NoGood representation
#88 opened by ellmau - 0
Nogood-Learning for complete semantics (3-valued)
#79 opened by ellmau - 0
Create a better landing-page
#82 opened by ellmau - 1
Output Ordering
#10 opened by ellmau - 1
Proof reading the documentation
#33 opened by ellmau - 0
- 0
Utilise (counter-)model counts for stable models
#37 opened by ellmau - 1
- 0
Variable Order
#9 opened by ellmau - 0
Facet-Counting
#30 opened by ellmau - 0
Variable List
#23 opened by ellmau - 0
create own binary package
#22 opened by ellmau - 0
Implement model-counting
#20 opened by ellmau - 1
Check against other BDD libraries
#17 opened by ellmau - 0
Stable Models
#12 opened by ellmau - 0
Implement a robust parser
#3 opened by ellmau - 0
Rework of the OBDD algorithm
#1 opened by ellmau