Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
master
default
b9b75b76
·
Add missing README parts
·
May 17, 2015
literal-account
3e45b6b5
·
End of the LiteralAccount story.
·
May 03, 2015
theory-congruence
cfe3e4b2
·
Change the final output for the congruence theory and get rid of the graph.
·
Apr 16, 2015
theory-difference
c7006b84
·
Generate tests for difference theory too
·
Apr 13, 2015
theory-equality
d390e31a
·
Add some tests for the equality theory.
·
Apr 07, 2015
theory-logic
e9dfc818
·
Do the Tseitin transformation while parsing.
·
Apr 03, 2015
clause-learning
3fef3639
·
Fix clause learning with watched literals.
·
Mar 09, 2015
vars-stacked
a3497462
·
Ensure that all variables appear in the final output.
·
Feb 17, 2015
mark-variables
18214724
·
Fix a segfault on unsatisfiable problems.
·
Feb 17, 2015
propagation
8cf472d2
·
Remove tautologies & do not always add an empty clause
·
Feb 09, 2015