ProverType.java

package jayhorn.solver;

public interface ProverType {

}