| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00_empty_U.in | 4 | logplain |
| -rw-r--r-- | 00_empty_U.out | 5 | logplain |
| -rw-r--r-- | 02_F_F2.in | 7 | logplain |
| -rw-r--r-- | 02_F_F2.out | 6 | logplain |
| -rw-r--r-- | 02_U_F.in | 6 | logplain |
| -rw-r--r-- | 02_U_F.out | 5 | logplain |
| -rw-r--r-- | 03_R_L_R.in | 10 | logplain |
| -rw-r--r-- | 03_R_L_R.out | 6 | logplain |
| -rw-r--r-- | 04_longer_true.in | 30 | logplain |
| -rw-r--r-- | 04_longer_true.out | 5 | logplain |
| -rw-r--r-- | 05_longer_false.in | 24 | logplain |
| -rw-r--r-- | 05_longer_false.out | 6 | logplain |
| -rw-r--r-- | 06_D_U_false_order.in | 6 | logplain |
| -rw-r--r-- | 06_D_U_false_order.out | 6 | logplain |
| -rw-r--r-- | allowednext_tests.c | 883 | logplain |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net