cvc5version Documentation on ocaml.org
OCaml bindings for the cvc5 SMT solver
OCaml bindings for the cvc5 SMT solver
| Author | João Pereira <joaomhmpereira@tecnico.ulisboa.pt> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/formalsec/ocaml-cvc5 |
| Issue Tracker | https://github.com/formalsec/ocaml-cvc5/issues |
| Maintainer | João Pereira <joaomhmpereira@tecnico.ulisboa.pt> |
| Available | arch != "arm32" |
| Dependencies |
|
| Source [http] | https://github.com/formalsec/ocaml-cvc5/releases/download/v1.3.0/ocaml-cvc5-v1.3.0.tar.gz md5=51a6d3810d142adc3364f130f2dd5472 sha512=25d939c6e44898b25ac05a1837fdfdc4e6bc7819e8542e5c3daa80e2371c963256318c1df58c030d8731ff97a27d2967071c249128a2f866546e004016b37dc6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cvc5/cvc5.1.3.0/opam |
Optionally used by
