package z3

  1. Overview
  2. Docs
Z3 solver

Install 

dune-project
 Dependency

github.com Edit opam file Versions (35)

Authors

  1. M
    MSR

Maintainers

  1. W
    weng@cs.jhu.edu

Sources

z3-4.15.2.tar.gz
sha256=3486bf5b35b185981cab0b0a81f870547648a1ca433085aa79afd17c44959751
sha512=ef752530cec0c08dbc53671c9fd04b6ed4d190905598d3d7dc1cb21dfde97fd0d69962c478ccc60e823718e2c57d9b3ee670f48fd09215597fa44d04b60fb21c

Description

Published: 29 Jun 2025

Dependencies (6)

  1. conf-c++ build
  2. conf-python-3 build
  3. conf-llvm os-distribution = "homebrew"
  4. zarith
  5. ocamlfind build
  6. ocaml >= "4.08.0"

Dev Dependencies

None

Used by (8)

  1. asli >= "0.2.0"
  2. bap-primus-symbolic-executor < "2.5.0"
  3. catala = "0.6.0"
  4. hardcaml-lua
  5. kmt
  6. nuscr >= "2.0.0"
  7. ocaml-sat-solvers >= "0.7" & < "0.8"
  8. universo