package z3

  1. Overview
  2. 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.15.1.tar.gz
sha256=ebf6eed5f2cb217d62abddaa94526189ae40bf3c415fb9c2e2128e099f16fda0
sha512=50af354056b3e796a39f1e53525c1fb4039f4a76c13fbf2ce5d57dc62a941acb5ecc7436a519898ae0af3cc5660bfb50100e0532b3a3b7d6f932308fb639b642

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