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.0.tar.gz
md5=74e44d8459a0abb6e2cd0a79b484b1e1
sha512=d14eb8ac83a0ea113b0fe7c46f71f68814710c0779e4719ed7549ee2323abfe10f956a41f5b822050b0f73665fa0be17cddfbfe2468fdee6c6e1005194477589
Description
A Multi Back-end Front-end for SMT Solvers in OCaml.
Published: 02 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"