package yices2_bindings

  1. Overview
  2. Docs
val malloc : ?config:Config.t -> unit -> t EH.t
val free : t -> unit
val reset : t -> unit
val push : t -> unit EH.t
val pop : t -> unit EH.t
val enable_option : t -> option:string -> unit EH.t
val disable_option : t -> option:string -> unit EH.t
val assert_formula : t -> Yices2_low.Types.term_t -> unit EH.t
val assert_formulas : t -> Yices2_low.Types.term_t list -> unit EH.t
val assert_blocking_clause : t -> unit EH.t
val stop : t -> unit
val get_model : t -> keep_subst:bool -> Model.t EH.t
val get_unsat_core : t -> Yices2_low.Types.term_t list EH.t