| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | api-changes.md | 623 | logplain |
| -rw-r--r-- | h48.md | 22506 | logplain |
| -rw-r--r-- | nasty-symmetries.md | 4846 | logplain |
| -rw-r--r-- | solvers.md | 5328 | logplain |
| -rw-r--r-- | transformations.md | 539 | logplain |
![]() |
index : nissy-core | |
| The "engine" of nissy, including the H48 optimal solver. |
| aboutsummaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | api-changes.md | 623 | logplain |
| -rw-r--r-- | h48.md | 22506 | logplain |
| -rw-r--r-- | nasty-symmetries.md | 4846 | logplain |
| -rw-r--r-- | solvers.md | 5328 | logplain |
| -rw-r--r-- | transformations.md | 539 | logplain |
Generated with cgit - Back to sebastiano.tronto.net