diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-14 15:12:36 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-14 16:09:31 +0100 |
| commit | bcd52547af58b15868e24f3904e307548d1fd505 (patch) | |
| tree | cda0a871f65575bb15fb4536c7b103c13caf433e /doc/solvers.md | |
| parent | 21fdf9697ddfab0a9c082a91ae0a79b1b574774c (diff) | |
| download | nissy-core-bcd52547af58b15868e24f3904e307548d1fd505.tar.gz nissy-core-bcd52547af58b15868e24f3904e307548d1fd505.zip | |
Cleanup, update documentation, fix examples
Diffstat (limited to 'doc/solvers.md')
| -rw-r--r-- | doc/solvers.md | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/solvers.md b/doc/solvers.md index e90a40b..a246c54 100644 --- a/doc/solvers.md +++ b/doc/solvers.md | |||
| @@ -10,12 +10,11 @@ An HTM-optimal solver using fully-symmetric pruning tables. For details | |||
| 10 | about how this solver works, see [h48.md](./h48.md). For benchmarks see | 10 | about how this solver works, see [h48.md](./h48.md). For benchmarks see |
| 11 | [benchmarks/benchmarks.md](../benchmarks/benchmarks.md). | 11 | [benchmarks/benchmarks.md](../benchmarks/benchmarks.md). |
| 12 | 12 | ||
| 13 | * Name: of the form `h8hXk2` for `X` from 0 to 11, or `h48h0k4`. The name | 13 | * Name: of the form `h8hX` for `X` from 0 to 11. The name `optimal` is |
| 14 | `optimal` is an alias for `h48h7k2`. | 14 | an alias for `h48h7`. |
| 15 | * Requisites: none. | 15 | * Requisites: none. |
| 16 | * Moveset: HTM (all 18 basic moves). | 16 | * Moveset: HTM (all 18 basic moves). |
| 17 | * Data size: 59MB for `h48h0k4`, from 115MB to 59GB for `h48hXk2` | 17 | * From 115MB to 59GB (roughly 2<sup>X</sup>*56MB). |
| 18 | (roughly 59MB + 2<sup>X</sup>*56MB). | ||
| 19 | 18 | ||
| 20 | ## Coordinate solvers | 19 | ## Coordinate solvers |
| 21 | 20 | ||