package alt-ergo-lib

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

Install 

dune-project
 Dependency

alt-ergo.ocamlpro.com Edit opam file Versions (15)

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. O
    OCamlPro <alt-ergo@ocamlpro.com>

Sources

alt-ergo-2.3.3.tar.gz
sha256=52e9e9cdbedf7afd1b32154dfb71ca7bead44fa2efcab7eb6d9ccc1989129388
md5=3b060044767d16d1de3416944abd2dd5

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

Module AltErgoLib.ProfilingSource

Sourcetype t
Sourceval init : unit -> unit
Sourceval decision : int -> string -> unit
Sourceval assume : int -> unit
Sourceval query : unit -> unit
Sourceval instantiation : int -> unit
Sourceval instances : 'a list -> unit
Sourceval bool_conflict : unit -> unit
Sourceval theory_conflict : unit -> unit
Sourceval bcp_conflict : bool -> bool -> unit
Sourceval red : bool -> unit
Sourceval elim : bool -> unit
Sourceval reset_dlevel : int -> unit
Sourceval reset_ilevel : int -> unit
Sourceval new_instance_of : string -> Expr.t -> Loc.t -> bool -> unit
Sourceval conflicting_instance : string -> Loc.t -> unit
Sourceval register_produced_terms : string -> Loc.t -> Expr.Set.t -> Expr.Set.t -> Expr.Set.t -> Expr.Set.t -> unit
Sourceval print : bool -> int64 -> Timers.t -> Format.formatter -> unit
Sourceval switch : unit -> unit