ProverResult.java

package bixie.prover;

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