Mercurial > hg > Applications > JavaLite
view src/lite/MainLoop.java @ 85:f69763106257
*** empty log message ***
author | kono |
---|---|
date | Fri, 18 Jan 2008 00:00:27 +0900 |
parents | 034c573af8ea |
children | 6b3535ea6958 |
line wrap: on
line source
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); } }