-- | The Prover implementation.
metisProver :: Prover Sign Sentence SoftFOLMorphism () ProofTree
metisProver = mkAutomaticProver "metis" () metisGUI
  metisProveCMDLautomaticBatch
metisProver :: Prover Sign Sentence SoftFOLMorphism () ProofTree
metisProver = mkAutomaticProver "metis" () metisGUI
  metisProveCMDLautomaticBatch
metisProver = mkAutomaticProver "metis" () metisGUI
  metisProveCMDLautomaticBatch