Loreon
Labs
Platform
Docs
Home
Ecosystems
C++
cadical
CaDiCaL SAT Solver
C++
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
8d ago
Recent commits
Latest commits.
xor reasoning with GJE from CMS
e02c1b1
Arijit Shaw
9mo ago
Also updated version.cpp
610f9b7
Armin Biere
13mo ago
added version
fb1ba93
Armin Biere
13mo ago
Merge branch 'development' of github.com:arminbiere/cadical into development
5c8b762
Armin Biere
14mo ago
just removed the @ bumped
b5d1e78
Armin Biere
14mo ago
adapt renamed assumption
c07ee49
Mathias Fleury
14mo ago
fixed rat candidate first literal in learned clause
5fb5db9
Florian
14mo ago
handling out-of-order conflict clause due to the user propagator
fcf0784
Mathias Fleury
14mo ago
Top contributors
Builders behind this project.
m-fleury
732 commits
arminbiere
440 commits
florianpollitt
374 commits
kfazekas
96 commits
TobiasFaller
25 commits
arijitsh
1 commits
eric-wieser
1 commits
Froleyks
1 commits
