opam - smtml.0.3.1

A Multi Back-end Front-end for SMT Solvers in OCaml.

Authors	João Pereira <joaomhmpereira@tecnico.ulisboa.pt>, Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>, Hichem Rami Ait El Hara <hra@ocamlpro.com>, Léo Andrès <contact@ndrs.fr>, Arthur Carcano <arthur.carcano@ocamlpro.com>, Pierre Chambart <pierre.chambart@ocamlpro.com> and José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>
License	MIT
Published	Nov 6, 2024
Homepage	https://github.com/formalsec/smtml
Issue Tracker	https://github.com/formalsec/smtml/issues
Maintainer	Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Available	arch != "arm32" & arch != "x86_32"
Dependencies	cmdliner>=1.2.0 dune>=3.10 dolmen=0.10 dolmen_type=0.10 dolmen_model=0.10 fmt>=0.8.7 hc>=0.3 menhirbuild & >=20220210 ocaml>=4.14.0 ocaml_intrinsics patricia-tree>=0.10.0 prelude>=0.3 rusage yojson>=1.6.0 zarith>=1.5 odocwith-doc sherlodocwith-doc bisect_ppxwith-test & >=2.5.0 benchpresswith-dev-setup & =dev cohttpwith-dev-setup cohttp-lwt-unixwith-dev-setup core_unixwith-dev-setup lwtwith-dev-setup mdxwith-test owlwith-dev-setup tls-lwtwith-dev-setup
Optional dependencies	alt-ergo-lib bitwuzla-cxx colibri2 cvc5 z3
Conflicts	bitwuzla-cxx<0.6.0 z3<4.12.2 \| >=4.14
Source [http]	https://github.com/formalsec/smtml/archive/refs/tags/v0.3.1.tar.gz md5=96f6871c1a995f84d9bd9400a7970c32 sha512=e39776bb3a0a5c97c36e34324fe2d1816563ae9b07d1bf36fee36ea925d905bb0549edbb84393b96d367dfbb03c6201b1cb12402c931a41f9d6ee7eb97037dae
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.3.1/opam

Required by

smtmlversion 0.3.1 (latest) 0.1.00.1.10.1.20.2.00.2.10.2.20.2.30.2.40.2.50.3.1 (latest)