Up – Package index » binsec » Library binsec.smt » Smt » Smt_options » SMTSolver

Module `Smt_options.SMTSolver`Source

type t = solver

val set : t -> unit

val get : unit -> t

val is_default : unit -> bool