Module Z3Driver (.ml)

module Z3Driver: sig .. end

include GenericSMTLIBDriver
val cmd_line : 'a -> 'b -> 'c -> 'd -> 'e -> string array
val check_sat_limited_cmd : int -> string
val check_sat_assuming_supported : unit -> bool
val check_sat_assuming_cmd : unit -> string
val headers : unit -> string list
val string_of_logic : TermLib.logic -> string
val pp_print_logic : Format.formatter -> TermLib.logic -> unit