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

Age	Commit message (Expand)	Author
2021-04-09	Rename CVC4__ header guards to CVC5__. (#6326)	Aina Niemetz
2021-04-01	Rename namespace CVC5 to cvc5. (#6258)	Aina Niemetz
2021-03-31	Rename namespace CVC4 to CVC5. (#6249)	Aina Niemetz
2021-03-09	Update copyright headers to 2021. (#6081)	Aina Niemetz
2020-09-22	Update copyright header script to support CMake and Python files (#5067)	Mathias Preiner
2020-06-16	Update copyright headers.	Aina Niemetz
2020-01-10	Track trivial cases in transition inference (#3598)	Andrew Reynolds
2019-10-14	Support UF in default sygus grammars (#3319)	Andrew Reynolds
2019-08-23	Document transition inference utility (#3207)	Andrew Reynolds