ProverResult.java

package jayhorn.solver;

public enum ProverResult {
	Sat, Unsat, Unknown, Running, Error;
}