package smtml

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 Readme Changelog Edit opam file Versions (18)

Authors

Maintainers

F

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

Sources

v0.6.0.tar.gz

md5=3883d3bcffa1d46ee8ffbc219081fa89

sha512=4a56e7dfb42a2504dff8c88e0201ed0b45011438f6f72d44853ea31e1e5ec915e15bc824751ecead26048c707c9a57d697954971f657f8df7c2428c1eddbb9b8

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: 05 Mar 2025

Dependencies (18)

zarith >= "1.5"
yojson >= "1.6.0"
scfg >= "0.5"
rusage
prelude >= "0.5"
patricia-tree >= "0.10.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.2.0" & < "2.0.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 (3)

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

On This Page

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