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

Age	Commit message (Collapse)	Author
2021-05-17	Improve integration of CAD with nl-Ext (#6542)	Gereon Kremer
	This PR improves the integration of the CAD solver with the nl-ext solver in a simple way: we simply use a few of the simple linearization lemmas in combination with CAD by default, significantly improving the performance on QF_NRA.
2017-04-07	Change option names for nl.	ajreynol

2017-04-05	Add non-linear regressions, disable nlAlgSubs, do not do rep checking for ↵	ajreynol
	NONLINEAR_MULT terms. Ensure shared terms have correct model values in non-linear solver.