QuMuLab python-nnf issues

QuMuLab / python-nnf

Manipulate NNF (Negation Normal Form) logical sentences

https://python-nnf.readthedocs.io

ISC License

17 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bad model count for tautologies

#30 haz opened 1 year ago
0
Simplify tautologies

#29 haz closed 1 year ago
5
Implement a d4 wrapper

#28 haz opened 2 years ago
0
Add Implication and Remove Nesting

#27 beckydvn closed 2 years ago
2
Full marginal computation

#26 haz opened 3 years ago
0
A couple of old links to DSHARP

#25 rickhg12hs closed 3 years ago
1
Dynamic decisions based on size for to_CNF

#24 karishmadaga opened 3 years ago
0
Automatic conjunct/disjunct simplification

#23 haz opened 4 years ago
4
Create fewer auxiliary variables when converting to CNF

#22 blyxxyz closed 4 years ago
0
Implement naive `to_CNF`

#21 haz opened 4 years ago
0
Avoid unnecessary aux nodes in Tseitin

#20 haz closed 4 years ago
2
Add PySAT support, add .solve(), make .models() lazy

#19 blyxxyz closed 4 years ago
5
Semantic Emulation

#18 haz opened 4 years ago
0
Memoization and other optimizations and fixes

#17 blyxxyz closed 4 years ago
1
Forgetting/projection.

#16 haz closed 4 years ago
1
Method that returns an arbitrary model (.solve())

#15 blyxxyz closed 4 years ago
1
is_CNF semantics

#14 blyxxyz closed 4 years ago
1
More testing/example data

#13 blyxxyz opened 4 years ago
0
Improve the vars() computation

#12 haz closed 4 years ago
0
Fix up comparisons with disperate variable sets

#11 haz opened 4 years ago
3
Optionally call pysat if it is installed

#10 haz closed 4 years ago
1
Dynamic solver loading

#9 haz closed 4 years ago
5
Advanced Simplification

#8 haz opened 4 years ago
0
Implement forgetting/projection

#7 haz closed 4 years ago
11
Tseitin Encoding

#6 haz closed 4 years ago
4
Include a Tseiten encoding

#5 haz closed 4 years ago
0
Shift to better SAT solving

#4 haz closed 4 years ago
18
Address failing test

#3 haz closed 4 years ago
5
BDD Functionality

#2 haz opened 4 years ago
0
Very slow equality checks for certain sentences

#1 blyxxyz opened 5 years ago
8