Index of /src/cadical-sys-0.1.0/cadical/test/icnf/

../
empty.icnf                                         24-Jul-2006 01:21                   9
false.icnf                                         24-Jul-2006 01:21                  11
makefile                                           24-Jul-2006 01:21                  93
prime49.icnf                                       24-Jul-2006 01:21                7213
run.sh                                             24-Jul-2006 01:21                2020
two1.icnf                                          24-Jul-2006 01:21                  65
two2.icnf                                          24-Jul-2006 01:21                  64
unit1.icnf                                         24-Jul-2006 01:21                  20
unit2.icnf                                         24-Jul-2006 01:21                  19