Module Smtlib.Make_Untyped_Muz
Parameters
Signature
include Untyped_S
include Common_S
type satisfiable =
| Sat
| Unsat
| Unknown
val set_logic : logic -> unit
val set_option : string -> unit
val assert_ : value -> unit
val get_assignment : unit -> unit
val declare_var : ?name:string -> sort -> value
val numeral : int -> value
val numeralz : Z.t -> value
val bvlit : size:int -> Z.t -> value
val declare_rel : ?name:string -> sort list -> relation * string
val declare_muz_var : ?name:string -> sort -> value