package z3

  1. Overview
  2. Docs
Z3 solver

Install

Dune Dependency

Authors

Maintainers

Sources

z3-4.13.0.tar.gz
sha256=01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502
sha512=8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd

Description

Published: 22 May 2024

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

OCaml

Innovation. Community. Security.