package z3

  1. Overview
  2. No Docs
Z3 solver

Install 

dune-project
 Dependency

github.com Edit opam file Versions (36)

Authors

  1. M
    MSR

Maintainers

  1. W
    weng@cs.jhu.edu

Sources

z3-4.16.0.tar.gz
sha256=c68c3e5e4810b16126b8cb4c47eee85c1ac3e24a81914c8e371b40de9dd33ac7
sha512=7dbcdd04a72f46bc3b6cbac2453b2a43f5ae126287b878ffe37f0573f910a1130c474c5edfa622dab09957f106cf425ab0f7cdfd34d41658599ad50a81ae39dd

Description

Published: 25 May 2026

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