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

Age	Commit message (Expand)	Author
2010-11-15	Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer	Morgan Deters
2010-11-09	Lemmas on demand work, push-pop, some cleanup.	Dejan Jovanović
2010-10-04	fixing CLN builds, which had broken the build tonight; will re-run regression...	Morgan Deters
2010-10-04	remove/shuffle some #include dependencies; fix some documentation; apply codi...	Morgan Deters
2010-10-03	file header documentation regenerated with contributors names; no code modifi...	Morgan Deters
2010-09-20	bitvector rewriting for the core theory and testcases	Dejan Jovanović
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-07-02	Merges the cln-test branch into the main branch.	Tim King