cnfFormatTest.java

public class cnfFormatTest {
    static public void main( String args[] ) {
        cnfModel m = cnfModel.init();
        m.print();
    }
}