summaryrefslogtreecommitdiff
path: root/src/prop/minisat/simp
AgeCommit message (Expand)Author
2012-03-08Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.Dejan Jovanović
2012-02-29This should fix the debian build fails:Liana Hadarean
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2012-02-22minor change to order fn in sat solver's ElimLtKshitij Bansal
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-13Adding the changes to the original copyDejan Jovanović
2010-08-13Importing MiniSat2 070721 into trunkChristopher L. Conway
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
2010-08-13Removing old version of MiniSat for proper vendor importChristopher L. Conway
2010-06-29Merging the unate-propagator branch into the trunk. This is a big update so ...Tim King
2010-05-25Some initial changes to allow for lemmas on demand. Dejan Jovanović
2010-03-09(no commit message)Dejan Jovanović
2010-03-08some more sat stuff for tim: assertions now go to theory_uf Dejan Jovanović
2010-03-03Some SAT stuff, not doing anything special yet, just to keep it in sync.Dejan Jovanović
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-11-17from meetingMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback