package smtml

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

An SMT solver frontend for OCaml

Install

Dune Dependency

github.com Edit opam file Versions (18)

Authors

Maintainers

F

Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.7.0.tar.gz

md5=1ea449bc5592187183287c4c8b9c1158

sha512=8b0e2abe77039bf422a709c9e88eb6537af7445effbcef51bf31e18fad8f39d0e39a813226eb28b1f1fb7c4538d4370e0181fa8c4b8f0e18171da21d32dd9ab2

Description

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.

Published: 08 May 2025

Dependencies (18)

zarith >= "1.5"
yojson >= "1.6.0"
scfg >= "0.5"
rusage
prelude >= "0.5"
patricia-tree >= "0.11.0"
ocaml_intrinsics
ocaml >= "4.14.0"
menhir build & >= "20220210"
hc >= "0.3"
fpath
fmt >= "0.8.7"
dolmen_model = "0.10"
dolmen_type = "0.10"
dolmen = "0.10"
dune >= "3.10"
cmdliner >= "1.3.0"
bos

Dev Dependencies (13)

tls-lwt with-dev-setup
owl with-dev-setup
mdx with-test
lwt with-dev-setup
dune-glob with-dev-setup
extunix with-dev-setup
cohttp-lwt-unix with-dev-setup
cohttp with-dev-setup
benchpress with-dev-setup & = "dev"
ounit2 with-test
bisect_ppx with-test & >= "2.5.0"
sherlodoc with-doc
odoc with-doc

Used by (1)

owi >= "0.2"

Conflicts (3)

z3 < "4.12.2" | >= "4.15"
alt-ergo-lib <= "2.6.1"
bitwuzla-cxx < "0.6.0"

On This Page

Description
Dependencies (18)
Dev Dependencies (13)
Used by (1)
Conflicts (3)