| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-07-02 | Remove SWIG bindings (#4683) | Andres Noetzli | |
| This commit removes support for SWIG bindings for the legacy API. The bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da and we are not planning on using SWIG for the Java API for the new API. | |||
| 2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters | |
| Also some cleanup of option-related exceptions infrastructure. | |||
 |
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