package jrummikub.ai.fdsolver;

public enum Satisfiability {
	TAUT, SAT, UNSAT
}