package alt-ergo-lib

  1. Overview
  2. Docs
The Alt-Ergo SMT prover library

Install

Dune Dependency

alt-ergo.ocamlpro.com Readme LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1 License Edit opam file Versions (15)

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. A
    Alt-Ergo developers

Sources

2.4.1.tar.gz
md5=35d6c6f3fa43bcd10fe7f524b1eb59ca
sha512=c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048

doc/alt-ergo-lib/AltErgoLib/Th_util/index.html

Module AltErgoLib.Th_utilSource

Sourcetype answer = (Explanation.t * Expr.Set.t list) option
Sourcetype theory =
  1. | Th_arith
  2. | Th_sum
  3. | Th_adt
  4. | Th_arrays
  5. | Th_UF
Sourcetype lit_origin =
  1. | Subst
  2. | CS of theory * Numbers.Q.t
  3. | NCS of theory * Numbers.Q.t
  4. | Other
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