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

Authors

M

MSR

Maintainers

W

weng@cs.jhu.edu

Sources

z3-4.15.2.tar.gz

sha256=3486bf5b35b185981cab0b0a81f870547648a1ca433085aa79afd17c44959751

sha512=ef752530cec0c08dbc53671c9fd04b6ed4d190905598d3d7dc1cb21dfde97fd0d69962c478ccc60e823718e2c57d9b3ee670f48fd09215597fa44d04b60fb21c

Description

Published: 29 Jun 2025

Dependencies (6)

conf-c++ build
conf-python-3 build
conf-llvm os-distribution = "homebrew"
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 (6)
Dev Dependencies
Used by (8)
Conflicts (1)