summaryrefslogtreecommitdiff
path: root/src/prop/minisat/simp/SimpSolver.h
AgeCommit message (Expand)Author
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-10Use Assert instead of assert. (#6095)Mathias Preiner
2020-12-14[proof-new] Updating interfaces between prop engine and minisat (#5664)Haniel Barbosa
2020-08-31Fix spelling errors (#4977)FabianWolff
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2016-04-20update from the masterPaulMeng
2016-01-26Merged bit-vector and uf proof branch.Liana Hadarean
2015-10-26This fixes a one definition rule violation for reduceDB_lt in Solver.cc in mi...Tim King
2015-04-17moved Minisat namespace into CVC4Finn Haedicke
2014-11-18All Minisat solve calls now return lbool (fixes bug 599)lianah
2014-08-22Unsat core infrastruture and API (SMT-LIB compliance to come).Morgan Deters
2013-04-03* changing the bitblast-eager to bitblast on pre-registerDejan 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-08-17new implementation of lemmas on demandDejan Jovanović
2010-11-09Lemmas on demand work, push-pop, some cleanup.Dejan Jovanović
2010-08-15(no commit message)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-05-25Some initial changes to allow for lemmas on demand. 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