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

Age	Commit message (Expand)	Author
2020-10-20	(proof-new) Update add lazy step interface in LazyCDProof (#5299)	Andrew Reynolds
2020-09-22	Update copyright header script to support CMake and Python files (#5067)	Mathias Preiner
2020-09-17	(proof-new) Rewrites involving operators in term conversion proof generator (...	Andrew Reynolds
2020-09-02	(proof-new) Make term conversion proof generator optionally term-context sens...	Andrew Reynolds
2020-08-12	(proof-new) Improve interfaces to proof generators (#4803)	Andrew Reynolds
2020-07-10	(proof-new) Add ONCE and FIXPOINT modes for term conversion proof generator (...	Andrew Reynolds
2020-06-16	Update copyright headers.	Aina Niemetz
2020-06-12	(proof-new) Term conversion proof generator utility (#4603)	Andrew Reynolds