package z3

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Z3 solver

Install

Dune Dependency

github.com Edit opam file Versions (34)

Authors

M

MSR

Maintainers

W

weng@cs.jhu.edu

Sources

z3-4.15.1.tar.gz

sha256=ebf6eed5f2cb217d62abddaa94526189ae40bf3c415fb9c2e2128e099f16fda0

sha512=50af354056b3e796a39f1e53525c1fb4039f4a76c13fbf2ce5d57dc62a941acb5ecc7436a519898ae0af3cc5660bfb50100e0532b3a3b7d6f932308fb639b642

Description

Published: 19 Jun 2025

Dependencies (5)

conf-c++ build
conf-python-3 build
zarith
ocamlfind build
ocaml >= "4.08.0"

Dev Dependencies

None

Used by (8)

asli >= "0.2.0"
bap-primus-symbolic-executor < "2.5.0"
catala = "0.6.0"
hardcaml-lua
kmt
nuscr >= "2.0.0"
ocaml-sat-solvers >= "0.7"
universo

Conflicts (1)

ocaml-option-bytecode-only

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by (8)
Conflicts (1)