cvc5version
OCaml bindings for the cvc5 SMT solver
OCaml bindings for the cvc5 SMT solver
| Author | João Pereira <joaomhmpereira@tecnico.ulisboa.pt> |
|---|---|
| License | GPL-3.0-only |
| 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" & os != "macos" & os != "freebsd" & os-distribution != "fedora" & os-family != "arch" |
| Dependencies |
|
| Source [http] | https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3/ocaml-cvc5-v1.1.3.unreleased.tar.gz md5=2beb77e9db079cd585a9a9a19b76d1ec sha512=b8b92ce5a076800a0a91b69c1110da4a46b6345de5c52dbefccbd31d6efc90725798645d25ed80f1c07a7571fed8779fdc3c6bb8977e999acd0acddb46a01690 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cvc5/cvc5.1.1.3~unreleased/opam |
Optionally used by
- smtml>=0.1.1
