package z3

  1. Overview
  2. Docs
Z3 solver

Install

Dune Dependency

github.com Edit opam file Versions (28)

Authors

  1. M
    MSR

Maintainers

  1. W
    weng@cs.jhu.edu

Sources

z3-4.12.4.tar.gz
sha256=25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e
sha512=fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b

Description

Published: 14 Dec 2023

Dependencies (6)

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

Dev Dependencies

None