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 (37)

Authors

  1. M
    MSR

Maintainers

  1. W
    weng@cs.jhu.edu

Sources

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

doc/index.html

z3

API

Library z3

No module.