package lite;


import sbdd.BDDSatisfier;

public class MainLoop {

	public static void main(String arg[]) {
		BDDSatisfier sat = new BDDSatisfier();
		// read predefined examples
		if (!sat.p.getResource("/data/example"))
			sat.p.parseFile("data/example");
		sat.p.help();
		sat.p.parse(System.in,"-> ");
	}
}