summaryrefslogtreecommitdiff
path: root/src/prop/minisat/simp/SimpSolver.cc
AgeCommit message (Expand)Author
2014-08-22Unsat core infrastruture and API (SMT-LIB compliance to come).Morgan Deters
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-04-30added support for dumping the SAT problem the sat solver is working onlianah
2013-04-03* changing the bitblast-eager to bitblast on pre-registerDejan Jovanović
2012-11-26fixup for incremental solvingDejan Jovanović
2012-07-31Options merge. This commit:Morgan Deters
2012-05-09* simplifying equality engine interfaceDejan Jovanović
2012-03-08Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.Dejan Jovanović
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2011-10-28merged the proofgen3 branch into trunk:Liana Hadarean
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-30more push/pop infrastructure, some SAT stuffMorgan Deters
2011-08-17new implementation of lemmas on demandDejan Jovanović
2011-04-14reverting back the minisat code and adding a simpler one that shouldn't chang...Dejan Jovanović
2011-04-13adding support for unit conflicts in minisat...Dejan Jovanović
2010-11-09Lemmas on demand work, push-pop, some cleanup.Dejan Jovanović
2010-08-15(no commit message)Dejan Jovanović
2010-08-13renaming minisat .C to .cc Dejan Jovanović
2010-08-13Removing newer version of MiniSat for Dejan's preferred importChristopher L. Conway
2010-08-13Importing MiniSat2 2.2.0 into trunkChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback