package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module AltErgoLib.SatmlSource

Sourceexception Sat
Sourceexception Unsat of Satml_types.Atom.clause list option
Sourceexception Last_UIP_reason of Satml_types.Atom.Set.t
Sourcetype conflict_origin =
  1. | C_none
  2. | C_bool of Satml_types.Atom.clause
  3. | C_theory of Explanation.t
Sourcemodule type SAT_ML = sig ... end
Sourcemodule Make (Th : Theory.S) : SAT_ML with type th = Th.t