sig
type t = {
name : string;
command : string;
unsat : string list;
sat : string list;
}
val lookup : string -> CallProver.Prover.t
val list_provers : unit -> string list
val register : string -> CallProver.Prover.t -> unit
val p_E : CallProver.Prover.t
val p_Eproof : CallProver.Prover.t
val p_SPASS : CallProver.Prover.t
val p_Zenon : CallProver.Prover.t
val default : CallProver.Prover.t list
end