opam - smtml.0.4.1

smtmlversion
0.4.1 (latest)
0.1.0
0.1.1
0.1.2
0.2.0
0.2.1
0.2.2
0.2.3
0.2.4
0.2.5
0.3.1
0.4.0
0.4.1 (latest)

A Front-end library for SMT solvers in OCaml

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	Dec 4, 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 dune-globwith-test 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 scfg 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.4.1.tar.gz md5=7b095be6411e6ddd5d8e21d7cf1fafdd sha512=d3b8dfea7b810cac8ae91e68c64044f28db9dada74f6d46f02ee6ecac7beb936663259bb7571a09a7ec908601da99eeed23eb1af90690c13d24607e9b71f2d4e
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.4.1/opam

Required by

owi>=0.2