opam - smtml.0.5.0

smtmlversion
0.5.0 (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
0.5.0 (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	Feb 6, 2025
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	bos 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 fpath hc>=0.3 menhirbuild & >=20220210 ocaml>=4.14.0 ocaml_intrinsics patricia-tree>=0.10.0 prelude>=0.5 rusage scfg>=0.5 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.5.0.tar.gz md5=39fb2c7198627af46e0cce2f011fd3b1 sha512=00917d9d2eab76e014df7994413d9e6ff1c8a8b8ddeae06d6e8b93aff44163e9e7e2e91a31091a85e7835debd04cc9634464d7896f1b3f226a3d4638f9c187db
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.5.0/opam

Required by

owi>=0.2