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.2.0.tar.gz
md5=5db378d398a6ef1a166955e66d2695f8
sha512=e17831796ffdcff0cecc7456a02dbfcd7c6f9c5cccdc1dc728948060e03161c4b96d9d567ff6ad732f93b11cd346f080e831969ddf2562748e6eb5f69c56d0da
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.2.0/opam
Required by