cvc5version

OCaml bindings for the cvc5 SMT solver

OCaml bindings for the cvc5 SMT solver

AuthorJoão Pereira <joaomhmpereira@tecnico.ulisboa.pt>
LicenseMIT
Published
Homepagehttps://github.com/formalsec/ocaml-cvc5
Issue Trackerhttps://github.com/formalsec/ocaml-cvc5/issues
MaintainerJoão Pereira <joaomhmpereira@tecnico.ulisboa.pt>
Availablearch != "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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cvc5/cvc5.1.3.0/opam
Optionally used by