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 (16)

Authors

Maintainers

F

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

Sources

v0.6.2.tar.gz

md5=56e189ab473a92021ac1fe663c53106e

sha512=2deeea08b20218f9de9a8bc94156f23511531af5bfb34f5ab78bd25c0ddab55a35ed52a230583a2ea671e48fc13f61c7e0c8559fd0e2738e8820ca39ec3ea3fd

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: 06 Apr 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 (12)

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"
bisect_ppx with-test & >= "2.5.0"
sherlodoc with-doc
odoc with-doc

Used by (1)

owi >= "0.2"

Conflicts (2)

z3 < "4.12.2" | >= "4.15"
bitwuzla-cxx < "0.6.0"

On This Page

Description
Dependencies (18)
Dev Dependencies (12)
Used by (1)
Conflicts (2)