| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-11-12 | Various minor docs improvements (#7626) | Gereon Kremer | |
| This PR does a number of minor improvements to the docs. | |||
| 2021-10-27 | Python api documentation for sorts (#7440) | yoni206 | |
| This PR adds documentation for the Sort python API. | |||
| 2021-10-15 | Python api documentation: Op, Grammar, Result, Enums (#7095) | yoni206 | |
| This PR adds documentation to the python class Op, Grammar, Result, and for API enums. Additionally, documentation for isNull functions in the datatype classes is added for the python API, and a small change in the cpp API documentation is introduced. | |||
| 2021-09-20 | Start python API Solver documentation (#7064) | Alex Ozdemir | |
| 2021-08-30 | python docs for Datatype-related classes (#7058) | yoni206 | |
| 2021-08-19 | Add python quick start guide (#7024) | yoni206 | |
| 2021-06-01 | docs: Restructure index page, fix style issue. (#6657) | Aina Niemetz | |
 |
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