| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz | |
| 2021-03-10 | Add Env class (#6093) | Andrew Reynolds | |
| This class contains all globally available utilities for internal code. | |||
| 2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz | |
| 2020-09-16 | Dump commands in internal code using command printing functions. (#5040) | Abdalrhman Mohamed | |
| This is work towards migrating commands to the new API. Internal code that creates command objects just for dumping is replaced with direct calls to functions that print the those commands. | |||
 |
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