| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-02-26 | Support for witnessing choice in models (#3781) | Andrew Reynolds |
| 2020-02-11 | Fix non-linear equality solving that involves mixed real/integer arithmetic (... | Andrew Reynolds |
| 2020-02-06 | Fix exact sqrt (#3721) | Andrew Reynolds |
| 2020-01-22 | Fix substitution in nl solver (#3638) | Andrew Reynolds |
| 2019-12-11 | Do not substitute beneath arithmetic terms in the non-linear solver (#3324) | Andrew Reynolds |
| 2019-12-05 | Make nonlinear solver intercept model assignments from the linear arithmetic ... | Andrew Reynolds |
| 2019-11-22 | Minor refactoring of compute model value for nl (#3489) | Andrew Reynolds |
| 2019-11-12 | Refactor non-linear extension for model-based refinement (#3452) | Andrew Reynolds |
| 2019-11-05 | Separate model object in non-linear extension (#3426) | Andrew Reynolds |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback