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

Authors

Maintainers

F

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

Sources

v0.6.3.tar.gz

md5=d741e7c89c8303fbc83f8e1801e176e3

sha512=c11db537313c5d18a5c8473fcb17a2ca629faf778ed896560b493b435e60c505fb210b125b12dd8bcd6f28ecc2a616cd4ceb8e6450bea57a7e7c04a2d4bda7d1

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: 17 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)