cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2015-12-14	Refactoring Options Handler & Library Cycle Breaking	Tim King
2014-09-26	Clarify some licensing-related things.	Morgan Deters
2014-07-01	Update copyrights.	Morgan Deters
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters
2013-04-01	update copyrights	Morgan Deters
2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
2012-09-08	Some minor changes after reviewing the portfolio "unified driver" commit.	Morgan Deters
2012-02-21	don't require libboost_thread (its presence is detected at configure-time), a...	Morgan Deters
2012-02-20	portfolio merge	Morgan Deters