| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 000_gendata | 37 | logplain |
| d--------- | 200_stats_tables_h48 | 46 | logplain |
| d--------- | 300_solve_small | 41 | logplain |
| -rw-r--r-- | nissy_extra.h | 101 | logplain |
| -rwxr-xr-x | run_tool.sh | 539 | logplain |
| -rw-r--r-- | tool.h | 4060 | logplain |
![]() |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 000_gendata | 37 | logplain |
| d--------- | 200_stats_tables_h48 | 46 | logplain |
| d--------- | 300_solve_small | 41 | logplain |
| -rw-r--r-- | nissy_extra.h | 101 | logplain |
| -rwxr-xr-x | run_tool.sh | 539 | logplain |
| -rw-r--r-- | tool.h | 4060 | logplain |
Generated with cgit - Back to sebastiano.tronto.net