package yices2_bindings

  1. Overview
  2. Docs

Parameters

module EH : ErrorHandling

Signature

module type Names = sig ... end
module Global : sig ... end
module ErrorPrint : sig ... end
module Type : sig ... end
module Term : sig ... end
module GC : sig ... end
module Config : sig ... end
module Model : sig ... end
val check_formula : ?logic:string -> ?model:bool -> ?delegate:string -> Yices2_low.Types.term_t -> Yices2_low.Types.smt_status_t * Model.t option
val check_formulas : ?logic:string -> ?model:bool -> ?delegate:string -> Yices2_low.Types.term_t list -> Yices2_low.Types.smt_status_t * Model.t option
val has_delegate : string -> bool EH.t
val export_formula_to_dimacs : Yices2_low.Types.term_t -> filename:string -> simplify:bool -> (Yices2_low.Types.smt_status_t * bool) EH.t
val export_formulas_to_dimacs : Yices2_low.Types.term_t list -> filename:string -> simplify:bool -> (Yices2_low.Types.smt_status_t * bool) EH.t
module Context : sig ... end
module Param : sig ... end
module PP : sig ... end