smtmlversion
A Front-end library for SMT solvers in OCaml
A Multi Back-end Front-end for SMT Solvers in OCaml.
| Author | Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> |
|---|---|
| License | GPL-3.0-only |
| Published | |
| 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 |
|
| Optional dependencies |
|
| Conflicts |
|
| Source [http] | https://github.com/formalsec/smtml/archive/refs/tags/v0.1.1.tar.gz md5=d05fc0acfe533234995c50c5264e20f1 sha512=63e057f40c8d5261493b5d7a03bcf073598dfa10c43b22b177fb24f8292e78753a051ae28e1d5a62d3c6725a7a32a9f1431f4c5f256f679d1a4b2b4c875f084b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smtml/smtml.0.1.1/opam |
Required by
- owi>=0.2
