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

Age	Commit message (Collapse)	Author
2012-10-26	new boost.m4 makes boost-thread require boost-system. relax this dependence ↵	Morgan Deters
	(since it doesn't appear to affect us?!), and make it non-fatal anyway, since threads aren't strictly required for all cvc4 builds. give a warning.
2012-10-24	Includes many fixes to build system for Solaris (thanks Tim!), and also	Morgan Deters
	just in general, and some documentation adjustments.
2012-02-22	fixes to configure and boost.m4 to make certain boost installations nonfatal ↵	Morgan Deters
	errors; threading support should only be required to build pcvc4, not cvc4
2012-02-20	portfolio merge	Morgan Deters