issues
search
crillab
/
d4
d4 Model Counter
GNU Lesser General Public License v3.0
14
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Question on showing the values of projection variables
#11
maliabd-al-majid
opened
5 months ago
0
Weighted Model Counting
#10
mahi045
closed
2 years ago
0
Independent counting giving inconsistent results
#9
haz
opened
2 years ago
0
d-DNNF output has undefined nodes when generating DRAT proof
#8
vroland
opened
3 years ago
1
Output of compilation should start with nnf
#7
PierreSenellart
opened
3 years ago
0
Wrong result with projection
#6
symphorien
closed
3 years ago
1
fix segfault on dDNNF output of unsat formula
#5
symphorien
closed
3 years ago
3
Wrong dDNNF output with projection
#4
symphorien
closed
3 years ago
11
Corrected README and git-ignored binary files
#3
vuphan314
closed
3 years ago
0
Running d4 in OSX ?
#2
CountingLogic
closed
3 years ago
6
[Compile! Project] Issue with some of the ddnnf generated
#1
jdusart
opened
3 years ago
21