Age | Commit message (Expand) | Author |
2018-10-19 | Remove autotools build system. (#2639) | Mathias Preiner |
2018-10-01 | Fix compiler warnings. (#2555) | Aina Niemetz |
2018-06-08 | Reset decisions at SAT level after solving (#2059) | Andres Noetzli |
2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
2016-04-20 | update from the master | PaulMeng |
2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-10-26 | This fixes a one definition rule violation for reduceDB_lt in Solver.cc in mi... | Tim King |
2015-04-17 | moved Minisat namespace into CVC4 | Finn Haedicke |
2014-11-18 | All Minisat solve calls now return lbool (fixes bug 599) | lianah |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-04-30 | added support for dumping the SAT problem the sat solver is working on | lianah |
2013-04-03 | * changing the bitblast-eager to bitblast on pre-register | Dejan Jovanović |
2012-11-26 | fixup for incremental solving | Dejan Jovanović |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
2012-03-08 | Removing QUICK_CHECK, and other unused ones, from the Theory::Effort. | Dejan Jovanović |
2012-02-29 | This should fix the debian build fails: | Liana Hadarean |
2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |
2012-02-22 | minor change to order fn in sat solver's ElimLt | Kshitij Bansal |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-30 | more push/pop infrastructure, some SAT stuff | Morgan Deters |
2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
2011-04-14 | reverting back the minisat code and adding a simpler one that shouldn't chang... | Dejan Jovanović |
2011-04-13 | adding support for unit conflicts in minisat... | Dejan Jovanović |
2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
2010-08-15 | (no commit message) | Dejan Jovanović |
2010-08-13 | renaming minisat .C to .cc | Dejan Jovanović |
2010-08-13 | Adding the changes to the original copy | Dejan Jovanović |
2010-08-13 | Importing MiniSat2 070721 into trunk | Christopher L. Conway |
2010-08-13 | Removing newer version of MiniSat for Dejan's preferred import | Christopher L. Conway |
2010-08-13 | Importing MiniSat2 2.2.0 into trunk | Christopher L. Conway |
2010-08-13 | Removing old version of MiniSat for proper vendor import | Christopher L. Conway |
2010-06-29 | Merging the unate-propagator branch into the trunk. This is a big update so ... | Tim King |
2010-05-25 | Some initial changes to allow for lemmas on demand. | Dejan Jovanović |
2010-03-09 | (no commit message) | Dejan Jovanović |
2010-03-08 | some more sat stuff for tim: assertions now go to theory_uf | Dejan Jovanović |
2010-03-03 | Some 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-08 | work on propositional layer, expression builder support for large expressions... | Morgan Deters |
2009-11-17 | from meeting | Morgan Deters |