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> |
| Dependencies |
|
| Source [http] | https://github.com/formalsec/ocaml-cvc5/releases/download/v1.2.0/ocaml-cvc5-v1.2.0.tar.gz md5=f3bef1351994740ad6a11f55f77b4fbf sha512=2b526cf9cd9cb4b240466bd69d8608a2257e57930b07ebc99c57aa2633bde45d40f4e10797794cbcf6d9f7ca78dd91d4c3d54b516ac04f625518159b4189833a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cvc5/cvc5.1.2.0/opam |
Optionally used by
- smtml>=0.1.1
