smtmlversion

An SMT solver frontend for OCaml

Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability.

AuthorsJoã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>
LicenseMIT
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.7.0.tar.gz
md5=1ea449bc5592187183287c4c8b9c1158
sha512=8b0e2abe77039bf422a709c9e88eb6537af7445effbcef51bf31e18fad8f39d0e39a813226eb28b1f1fb7c4538d4370e0181fa8c4b8f0e18171da21d32dd9ab2
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.7.0/opam
Required by