| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-26 | Move public options functions to separate file (#6671) | Gereon Kremer | |
| This PR moves the remaining special purpose functions out of the Options class. This set of functions is only used to implement API functions in the smt engine (getting and setting options by string), and by the main driver for parsing and printing usage information. | |||
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
path: root/.style.yapf
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback