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