CVC3TheoremProverFactory.java

package edu.udel.cis.vsl.tass.prove.cvc;

import edu.udel.cis.vsl.tass.config.RunConfiguration;
import edu.udel.cis.vsl.tass.prove.IF.CVC3TheoremProverIF;
import edu.udel.cis.vsl.tass.symbolic.IF.SymbolicUniverseIF;

public class CVC3TheoremProverFactory {
  public static CVC3TheoremProverIF newCVC3TheoremProver(
      SymbolicUniverseIF universe, RunConfiguration config) {
    return new CVC3TheoremProver2(universe, config);
  }
}