package soteria

  1. Overview
  2. Docs
package soteria
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make_core.Solver

include sig ... end
type t = Sol.t
val backtrack_n : int -> unit
val save : unit -> unit
val wrap : (t -> 'a) -> unit -> 'a
val run : (unit -> 'a) -> 'a
val total_resources : unit -> int
val available_resources : unit -> int
module Value : sig ... end
val add_constraints : ?simplified:??? -> Sol.Value.sbool Sol.Value.t list -> unit
val simplify : 'a Sol.Value.t -> 'a Sol.Value.t
val fresh_var : 'a Sol.Value.ty -> Symex.Var.t
val as_exprs : unit -> Sol.Value.Expr.t list
val sat : unit -> Symex.Solver_result.t