package z3

  1. Overview
  2. Docs
Z3 solver

Install

Dune Dependency

github.com Edit opam file Versions (35)

Authors

  1. M
    MSR

Maintainers

  1. W
    weng@cs.jhu.edu

Sources

z3-4.14.1.tar.gz
sha256=81a02c2c64c64d6c3df233f59186b95627990ada0c4c2fc901c9c25a7072672a
sha512=5850821aa93908c952663bfdcae291a9e8cd00082e0fa6d3ea4ffaebf076116d524660e22934e339da4972f43510adcccba1816be0a3e6bb60ab2c380f5a58ab

doc/index.html

z3

API

Library z3

No module.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct
On This Page
  1. API
    1. Library z3