package smtml
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Front-end library for SMT solvers in OCaml
Install
Dune Dependency
Authors
-
JJoão Pereira <joaomhmpereira@tecnico.ulisboa.pt>
-
FFilipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
-
HHichem Rami Ait El Hara <hra@ocamlpro.com>
-
LLéo Andrès <contact@ndrs.fr>
-
AArthur Carcano <arthur.carcano@ocamlpro.com>
-
PPierre Chambart <pierre.chambart@ocamlpro.com>
-
JJosé Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>
Maintainers
Sources
v0.4.1.tar.gz
md5=7b095be6411e6ddd5d8e21d7cf1fafdd
sha512=d3b8dfea7b810cac8ae91e68c64044f28db9dada74f6d46f02ee6ecac7beb936663259bb7571a09a7ec908601da99eeed23eb1af90690c13d24607e9b71f2d4e
Description
A Multi Back-end Front-end for SMT Solvers in OCaml.
Published: 04 Dec 2024
Dependencies (16)
-
zarith
>= "1.5" -
yojson
>= "1.6.0" - scfg
- rusage
-
prelude
>= "0.3" -
patricia-tree
>= "0.10.0" - ocaml_intrinsics
-
ocaml
>= "4.14.0" -
menhir
build & >= "20220210" -
hc
>= "0.3" -
fmt
>= "0.8.7" -
dolmen_model
= "0.10" -
dolmen_type
= "0.10" -
dolmen
= "0.10" -
dune
>= "3.10" -
cmdliner
>= "1.2.0"
Dev Dependencies (12)
-
tls-lwt
with-dev-setup -
owl
with-dev-setup -
mdx
with-test -
lwt
with-dev-setup -
core_unix
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 -
dune-glob
with-test
Used by (1)
-
owi
>= "0.2"
Conflicts (2)
-
z3
< "4.12.2" | >= "4.14" -
bitwuzla-cxx
< "0.6.0"