Index of /src/iascar-0.2.1/examples/

../
example.lp                                         24-Jul-2006 01:21                  79
example.lp.as.cnf                                  24-Jul-2006 01:21                3581
example.lp.as.cnf.nnf                              24-Jul-2006 01:21                2140
example.lp.as.cnf.nnf.ccg                          24-Jul-2006 01:21                 317
example.lp.sm.cnf                                  24-Jul-2006 01:21                 695
example.lp.sm.cnf.nnf                              24-Jul-2006 01:21                 604
example.lp.sm.cnf.nnf.ccg                          24-Jul-2006 01:21                 359
example.ucs                                        24-Jul-2006 01:21                   7