(* Global parameters *)
(* Author: Carsten Schuermann *)

structure MetaGlobal : METAGLOBAL =
struct
  datatype Strategy = RFS | FRS

  datatype ProverType = New | Old | Memo (* NEW = tabled ; OLD = iterative Deepening *)

  val prover = ref Memo

  val strategy = ref FRS
  val maxFill = ref 6
  val maxSplit = ref 2
  val maxRecurse = ref 10
end; (* structure MetaGlobal *)