package lite;

import sbdd.BDDSatisfier;

public class MainLoop {

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