Skip to content
GitLab
Explore
Sign in
ablot
sat-solver
Repository
Branches
Overview
Active
Stale
All
Stale branches
propagation
8cf472d2
·
Remove tautologies & do not always add an empty clause
·
Feb 09, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mark-variables
18214724
·
Fix a segfault on unsatisfiable problems.
·
Feb 17, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vars-stacked
a3497462
·
Ensure that all variables appear in the final output.
·
Feb 17, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clause-learning
3fef3639
·
Fix clause learning with watched literals.
·
Mar 09, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
theory-logic
e9dfc818
·
Do the Tseitin transformation while parsing.
·
Apr 03, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar