| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 0002_gendata_h48h0k2 | 45 | logplain |
| d--------- | 0004_gendata_h48h0k4 | 45 | logplain |
| d--------- | 0012_gendata_h48h1k2 | 45 | logplain |
| d--------- | 0022_gendata_h48h2k2 | 45 | logplain |
| d--------- | 0032_gendata_h48h3k2 | 45 | logplain |
| d--------- | 0042_gendata_h48h4k2 | 45 | logplain |
| d--------- | 0052_gendata_h48h5k2 | 45 | logplain |
| d--------- | 0062_gendata_h48h6k2 | 45 | logplain |
| d--------- | 0072_gendata_h48h7k2 | 45 | logplain |
| d--------- | 0082_gendata_h48h8k2 | 45 | logplain |
| d--------- | 0092_gendata_h48h9k2 | 45 | logplain |
| d--------- | 0102_gendata_h48h10k2 | 46 | logplain |
| d--------- | 0112_gendata_h48h11k2 | 46 | logplain |
| d--------- | 1002_derive_h48h0k2 | 44 | logplain |
| d--------- | 100_stats_tables_h48 | 46 | logplain |
| d--------- | 200_solve_small | 41 | logplain |
| -rw-r--r-- | nissy_extra.h | 161 | logplain |
| -rwxr-xr-x | run_tool.sh | 513 | logplain |
| -rw-r--r-- | tool.h | 5145 | logplain |
 |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
Generated with cgit - Back to sebastiano.tronto.net