Module Yices2SMT2Driver (.ml)

module Yices2SMT2Driver: sig .. end

include GenericSMTLIBDriver
val cmd_line : [> `Inferred of TermLib.FeatureSet.t ] ->
'a -> 'b -> 'c -> 'd -> string array
val check_sat_limited_cmd : 'a -> 'b
val check_sat_assuming_cmd : unit -> 'a
val check_sat_assuming_supported : unit -> bool