Issues
- 0
Bad model count for tautologies
#30 opened by haz - 0
Implement a d4 wrapper
#28 opened by haz - 0
Full marginal computation
#26 opened by haz - 1
A couple of old links to DSHARP
#25 opened by rickhg12hs - 0
Dynamic decisions based on size for to_CNF
#24 opened by karishmadaga - 4
Automatic conjunct/disjunct simplification
#23 opened by haz - 0
Implement naive `to_CNF`
#21 opened by haz - 2
Avoid unnecessary aux nodes in Tseitin
#20 opened by haz - 1
Optionally call pysat if it is installed
#10 opened by haz - 1
Method that returns an arbitrary model (.solve())
#15 opened by blyxxyz - 11
Implement forgetting/projection
#7 opened by haz - 0
Improve the vars() computation
#12 opened by haz - 1
is_CNF semantics
#14 opened by blyxxyz - 0
Semantic Emulation
#18 opened by haz - 5
Address failing test
#3 opened by haz - 0
Include a Tseiten encoding
#5 opened by haz - 18
Shift to better SAT solving
#4 opened by haz - 8
- 0
More testing/example data
#13 opened by blyxxyz - 3
Fix up comparisons with disperate variable sets
#11 opened by haz - 0
Advanced Simplification
#8 opened by haz - 0
BDD Functionality
#2 opened by haz