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

Age	Commit message (Expand)	Author
2018-04-03	Use choice when expanding definitions for inverse transcendental functions (#...	Andrew Reynolds
2018-03-30	Do not use factoring inference for transcendental functions (#1707)	Andrew Reynolds
2018-03-20	Internally remove redundant assertions and infer equalities in NonLinearExten...	Andrew Reynolds
2018-02-20	Minor fixes and additions for transcendental functions (#1612)	Andrew Reynolds
2018-02-07	Add remaining transcendental functions (#1551)	Andrew Reynolds
2017-12-20	Transcendental functions check model (#1443)	Andrew Reynolds
2017-11-24	Implement tangent and secant planes for transcendental functions (#1401)	Andrew Reynolds
2017-11-22	Transcendental tangent planes utilities (#1288)	Andrew Reynolds
2017-10-01	Refactor check function in last call effort of non-linear extension. (#1175)	Andrew Reynolds
2017-08-11	Maintain frontier for tangent planes.	ajreynol
2017-07-10	Merge ntExt branch. Adds support for transcendental functions. Refactoring of...	ajreynol
2017-07-07	Update copyright headers.	Mathias Preiner
2017-04-02	Adding a model based axiom instantiation scheme for multiplication. Merge com...	Tim King