package z3

  1. Overview
  2. Docs
On This Page
  1. API
    1. Library z3
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

doc/index.html

z3

API

Library z3

No module.