package aez

  1. Overview
  2. Docs
Alt-Ergo Zero is an OCaml library for an SMT solver.

Install

Dune Dependency

cubicle.lri.fr Edit opam file Versions (1)

Authors

Maintainers

  1. S
    sylvain.conchon [at] lri.fr

Sources

aez-0.3.tar.gz
sha256=d54d57c572b1329002d5ae11e92ff58caf7e3d15efb7824a835d2944ad9698a7
md5=42260d8e110defa9c8c5b6cc1eafa29f

doc/index.html

aez

API

Library aez

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 aez