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