Module AltErgoLib.Sat_solver_sig

type timeout_reason =
  1. | Assume
  2. | ProofSearch
  3. | ModelGen
type unknown_reason =
  1. | Incomplete
  2. | Memout
  3. | Step_limit of int
  4. | Timeout of timeout_reason
val pp_smt_unknown_reason : unknown_reason Fmt.t

Prints the unknown reason in the default SMT-LIB format.

val pp_ae_unknown_reason_opt : unknown_reason option Fmt.t

Prints an optional unknown reason in Alt-Ergo format.

module type S = sig ... end
module type SatContainer = sig ... end