path: root/src/jrummikub/ai/fdsolver/Satisfiability.java

package jrummikub.ai.fdsolver;

public enum Satisfiability {
	TAUT, SAT, UNSAT
}