Module Binsec.Prover

module Command : sig ... end
val pp : Format.formatter -> t -> unit
val is_boolector : t -> bool
val is_yices : t -> bool
val ping : t -> bool

ping solver return true if the command was found in the path.

val name_of : t -> string

Accessors

val command : ?incremental:bool -> int -> t -> Command.t
val timeout_s : int -> t -> int