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

2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw
2014-06-10	lianah	Merging CAV14 paper bit-vector work.	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-04-04	Liana Hadarean	* added propagation as lemmas to TheoryBV:	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