package z3

  1. Overview
  2. Docs
Z3 solver

Install 

dune-project
 Dependency

github.com Edit opam file Versions (37)

Authors

  1. M
    MSR

Maintainers

  1. W
    weng@cs.jhu.edu

Sources

z3-5.1.0.tar.gz
sha256=c433e1add0431c5edf1644bd9951c40588024d2d288f0e4215e5fcb6e3b4277d
sha512=03a854f720a56484ab99b8a5517150f1c9106400f54ad758cfa58e3ee2f95e349396a64d4f527a5bb9ee37f10ad9ecfa1916d1f5c921f04089deda409374491b

Description

Added to opam-repository:

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