Loreon
Labs
Platform
Docs
Home
Ecosystems
C++
cnf-utils
Dimacs CNF utilities
C++
Emerging
GitHub
Stars
21
Forks
3
Contributors
4
Last push
3mo ago
Recent commits
Latest commits.
Update to use python3
c1a593b
Mate Soos
3mo ago
Improving cnf-utils to deal with bnns
0120ac4
Mate Soos
16mo ago
Upping cmake version
7ae4f2d
Mate Soos
29mo ago
Don't add 2 lits of the same vars to CNF
618bba6
Mate Soos
30mo ago
Fixing minor issues with verifier
f1f19a9
Mate Soos
40mo ago
Adding preliminary solution verification
c88217c
Mate Soos
40mo ago
Missing header, better gitignore
1035684
Mate Soos
51mo ago
Bug reproducible this way too
6129efc
Mate Soos
52mo ago
Top contributors
Builders behind this project.
msoos
156 commits
vegard
15 commits
msooseth
2 commits
prokls
1 commits
