Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
cadical
CaDiCaL SAT Solver
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
5
Last push
6mo ago
Recent commits
Latest commits.
bumped version
e71bd58
Armin Biere
30mo ago
new news and format
9544732
Armin Biere
30mo ago
remove duplicate stats increasing (#82)
4c3eb5c
Mathias Fleury
30mo ago
Merge branch 'development' of github.com:arminbiere/cadical into development
e46c60b
Mathias Fleury
30mo ago
more accurate used marking in subsume
3c1e613
Mathias Fleury
30mo ago
do not overwrite used flag in subsume
0964746
Mathias Fleury
30mo ago
use MSORT for more efficient assumption sorting
5e40c54
Mathias Fleury
30mo ago
fixing new[]/delete mismatch
ab42058
Mathias Fleury
30mo ago
Top contributors
Builders behind this project.
arminbiere
337 commits
m-fleury
100 commits
florianpollitt
57 commits
kfazekas
15 commits
Froleyks
1 commits
