Java bindings for cvc5, an open-source automatic theorem prover for SMT problems
Newer Version Available
Licenses
| License | URL |
|---|---|
| BSD 3-Clause License | https://github.com/cvc5/cvc5/blob/main/COPYING |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Haniel Barbosa | hbarbosa<at>dcc.ufmg.br | HanielB | Universidade Federal de Minas Gerais | |
| Clark Barrett | barrett<at>cs.stanford.edu | barrettcw | Stanford University | |
| Aina Niemetz | niemetz<at>cs.stanford.edu | aniemetz | Stanford University | |
| Mathias Preiner | preiner<at>cs.stanford.edu | mpreiner | Stanford University | |
| Andrew Reynolds | andrew-reynolds<at>uiowa.edu | ajreynol | The University of Iowa | |
| Cesare Tinelli | cesare-tinelli<at>uiowa.edu | tinelli | The University of Iowa |