| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2021-01-13 | Split eager solver from strings solver state (#5775) | Andrew Reynolds | |
| This splits the eager solver from solver state. The solver state contains the EqcInfo data, while the eager solver is responsible for populating it. This is in preparation for adding new techniques to the eager solver. No behavior changes in this PR, only reorganization. | |||
 |
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