package lite;




public class NumberSolver extends ITLSolver {

	int num;

	public NumberSolver(int num) {
		this.num = num;
	}

	public String toString() {
		return Integer.toString(num);
	}

	@Override
	public ITLSolver sat(ITLSatisfier sat, Next next) throws Backtrack {
		return null;
	}

}