git.libre-soc.org Git - cvc5.git/history - src/prop/sat_solver

[cvc5.git] / src / prop / sat_solver_factory.cpp

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-05-22	Aina Niemetz	CaDiCaL: Clean up initialization on creation. (#4516)	blob \| commitdiff \| raw \| diff to current
2020-05-22	Aina Niemetz	Cryptominisat: Clean up initialization on creation...	blob \| commitdiff \| raw \| diff to current
2020-05-22	Aina Niemetz	Add support for SAT solver Kissat. (#4514)	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-20	Mathias Preiner	Add support for CaDiCaL as eager BV SAT solver. (#1675)	blob \| commitdiff \| raw \| diff to current
2018-03-09	Mathias Preiner	Cleanup Cryptominisat SAT wrapper. (#1652)	blob \| commitdiff \| raw \| diff to current
2018-02-07	Mathias Preiner	Cleanup Cryptominisat header. (#1561)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-05-25	Liana Hadarean	Merged cryptominisat from experimental branch.	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-01-09	Tim King	Removing StatisticsRegistry's static functions current...	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Remove some dead code.	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Fix a memory leak in SatSolverRegistry (re: bug #594).	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-06-10	lianah	Merging CAV14 paper bit-vector work.	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-07-07	Morgan Deters	Various fixes to documentation---typos, some incomplete...	blob \| commitdiff \| raw \| diff to current
2012-04-04	Liana Hadarean	* added propagation as lemmas to TheoryBV:	blob \| commitdiff \| raw \| diff to current
2012-03-29	Tim King	Fixes a linking problem with the new SatSolverConstruct...	blob \| commitdiff \| raw \| diff to current
2012-03-28	Dejan Jovanović	Some renaming and refactoring in SAT	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	Global registry of SAT solvers, where they are register...	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	More cleaning up.	blob \| commitdiff \| raw \| diff to current

RSS Atom