Mercurial > hg > Applications > JavaLite

comparison src/lite/MainLoop.java @ 73:034c573af8ea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Diagnosis Routine not yet tested.
author kono
date Wed, 16 Jan 2008 14:34:11 +0900
parents
children f69763106257
comparison
equal deleted inserted replaced
72:87b179e60443 73:034c573af8ea
1 package lite;
2
3 import sbdd.BDDSatisfier;
4
5 public class MainLoop {
6
7 public static void main(String arg[]) {
8 BDDSatisfier sat = new BDDSatisfier();
9 // read predefined examples
10 sat.p.parseFile("data/example");
11 sat.p.help();
12 sat.p.parse(System.in);
13 }
14 }