smtmlversion Documentation on ocaml.org
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.
| Authors | João Pereira <joaomhmpereira@tecnico.ulisboa.pt>, Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>, Hichem Rami Ait El Hara <hra@ocamlpro.com>, redianthus <redopam@pm.me>, Arthur Carcano <arthur.carcano@ocamlpro.com>, Pierre Chambart <pierre.chambart@ocamlpro.com> and José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/formalsec/smtml |
| Issue Tracker | https://github.com/formalsec/smtml/issues |
| Documentation | https://formalsec.github.io/smtml/smtml/index.html |
| Maintainer | Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> |
| Available | arch != "arm32" & arch != "x86_32" |
| Dependencies |
|
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/formalsec/smtml/archive/refs/tags/v0.29.0.tar.gz md5=2e38bae37fea8bc8bdd798b0d4c75c8b sha512=8e7b391da03bae5f7a9ce06d1e9d9f6f93028c0172e3052bb17d688b97ce7a70242b145e2041b730ed1f52bd485d5dd814417aa7aa1910b8bcb68bbb94f090f8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.29.0/opam |
Required by
