Index of /src/pumpkin-solver-0.1.4/tests/wcnf/

../
checkers/                                          09-Nov-2024 03:57                   -
johnson8_2_4.wcnf                                  24-Jul-2006 01:21                2777
johnson8_4_4.wcnf                                  24-Jul-2006 01:21                7389
karate.wcnf                                        24-Jul-2006 01:21                3184
normalized_g2x2.wcnf                               24-Jul-2006 01:21                 580
normalized_g9x3.wcnf                               24-Jul-2006 01:21                1160
normalized_g9x9.wcnf                               24-Jul-2006 01:21                2638
ram_k3_n9.wcnf                                     24-Jul-2006 01:21                4876
riskmap.wcnf                                       24-Jul-2006 01:21                3732
simple.wcnf                                        24-Jul-2006 01:21                  26