smtmlversion

A Front-end library for SMT solvers in OCaml

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

AuthorFilipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
LicenseGPL-3.0-only
Published
Homepagehttps://github.com/formalsec/smtml
Issue Trackerhttps://github.com/formalsec/smtml/issues
MaintainerFilipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Availablearch != "arm32" & arch != "x86_32"
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/formalsec/smtml/archive/refs/tags/v0.1.2.tar.gz
md5=bc462f851a34bd9c3e8f0647041faf1f
sha512=2bc57afd4c61725743ff774e1c80f0c5e389623712695f80665ef190aff79d635d82ca972df4ac6399145f4845e2028b0df332bb8c603821d98c38e5a52d417b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.1.2/opam
Required by