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.12.4.tar.gz
sha256=25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e
sha512=fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b

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