| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00_empty_U.in | 5 | logplain |
| -rw-r--r-- | 00_empty_U.out | 8 | logplain |
| -rw-r--r-- | 01_F.in | 7 | logplain |
| -rw-r--r-- | 01_F.out | 8 | logplain |
| -rw-r--r-- | 02_U2.in | 6 | logplain |
| -rw-r--r-- | 02_U2.out | 8 | logplain |
| -rw-r--r-- | 03_R_L.in | 10 | logplain |
| -rw-r--r-- | 03_R_L.out | 8 | logplain |
| -rw-r--r-- | 04_D.in | 6 | logplain |
| -rw-r--r-- | 04_D.out | 8 | logplain |
| -rw-r--r-- | 05_U_F_B2.in | 9 | logplain |
| -rw-r--r-- | 05_U_F_B2.out | 8 | logplain |
| -rw-r--r-- | 06_empty_bound.in | 4 | logplain |
| -rw-r--r-- | 06_empty_bound.out | 8 | logplain |
| -rw-r--r-- | 07_F_bound.in | 6 | logplain |
| -rw-r--r-- | 07_F_bound.out | 8 | logplain |
| -rw-r--r-- | 08_U_D_bound_inverse.in | 8 | logplain |
| -rw-r--r-- | 08_U_D_bound_inverse.out | 8 | logplain |
| -rw-r--r-- | 09_R_false_bound.in | 5 | logplain |
| -rw-r--r-- | 09_R_false_bound.out | 8 | logplain |
| -rw-r--r-- | allowednext_h48_tests.c | 794 | logplain |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net