diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-27 16:34:41 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-27 16:34:41 +0100 |
| commit | 9f3c7e7ea5d872fc017271df61691ea545049211 (patch) | |
| tree | eccc6b3a1fd6640728e3c871addb4850522e24f0 /README.md | |
| parent | 2332679ad64e3e0318ca812421190156edec9186 (diff) | |
| download | nissy-9f3c7e7ea5d872fc017271df61691ea545049211.tar.gz nissy-9f3c7e7ea5d872fc017271df61691ea545049211.zip | |
Changed installation instructions (for pruning tables)
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 44 |
1 files changed, 19 insertions, 25 deletions
| @@ -21,17 +21,11 @@ solutions for EO/DR/HTR or similar substeps. | |||
| 21 | 21 | ||
| 22 | ## Requirements | 22 | ## Requirements |
| 23 | 23 | ||
| 24 | ** Warning: ** *This section is not up to date with the code. In nissy-2.0beta8 | 24 | A full installation of nissy requires about 3Gb of space, |
| 25 | or later the only way to get the table files is to generate them yourself. | 25 | of which 2.3Gb are occupied by the huge pruning table for fast optimal solving, |
| 26 | All but the huge table just requires a few minutes; the huge table for | ||
| 27 | optimal solving can require a couple of hours. Use more than 1 thread | ||
| 28 | if you can.* | ||
| 29 | |||
| 30 | A full installation of Nissy requires a little more than 2Gb of space, | ||
| 31 | of which 1.6Gb are occupied by the huge pruning table for fast optimal solving, | ||
| 32 | and running it requires the same amount of RAM. | 26 | and running it requires the same amount of RAM. |
| 33 | One can choose to never use this function and not to install the relative | 27 | One can choose to never use this function and not to install the relative |
| 34 | pruning table. There is an alternative (about 5 times slower) | 28 | pruning table. There is an alternative (slower) |
| 35 | optimal solving function that uses about 500Mb of RAM. | 29 | optimal solving function that uses about 500Mb of RAM. |
| 36 | 30 | ||
| 37 | ## Installation | 31 | ## Installation |
| @@ -55,14 +49,14 @@ Follows the instructions below to install the pruning tables. | |||
| 55 | ### Tables | 49 | ### Tables |
| 56 | Nissy needs to generate certain large tables to work. These tables are by default | 50 | Nissy needs to generate certain large tables to work. These tables are by default |
| 57 | generated the first time they are needed (e.g the first time you ask to solve a | 51 | generated the first time they are needed (e.g the first time you ask to solve a |
| 58 | certain step) and then saved to a file. The following times Nissy simply loads the | 52 | certain step) and then saved to a file. Whenever these tables are needed again, |
| 59 | corresponding file from the hard disk. | 53 | nissy simply loads the corresponding file from the hard disk. |
| 60 | 54 | ||
| 61 | The very large table for optimal solving can take some time to generate (about 20 | 55 | The very large table for optimal solving can take some time to generate |
| 62 | minutes on my fairly old but decent laptop, using 8 CPU threads). All other | 56 | (about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads). |
| 63 | tables are much faster. | 57 | All other tables are much faster. |
| 64 | 58 | ||
| 65 | You can ask Nissy to generate all the tables it will ever need with the **gen** | 59 | You can ask Nissy to generate all the tables it will ever need with the `gen` |
| 66 | command. It is recommended to use more than one thread, if your CPU has them. | 60 | command. It is recommended to use more than one thread, if your CPU has them. |
| 67 | For example, you can run: | 61 | For example, you can run: |
| 68 | 62 | ||
| @@ -73,17 +67,17 @@ nissy gen -t 8 | |||
| 73 | to generate all tables using 8 threads. | 67 | to generate all tables using 8 threads. |
| 74 | 68 | ||
| 75 | Alternatively, you can simply download all the tables and copy them into the | 69 | Alternatively, you can simply download all the tables and copy them into the |
| 76 | correct folder (see manual page, `ENVIRONMENT` section). | 70 | correct folder (see manual page, `ENVIRONMENT` section). On UNIX operating |
| 77 | Choose one of the following: | 71 | systems this folder is either `.nissy/tables` in the user's home directory or |
| 78 | 72 | `$XDG_DATA_HOME/nissy/tables` if the XDG variable is configured. On Windows | |
| 79 | | |.zip|.tar.gz| | 73 | it is the same directory as the nissy.exe executable file. |
| 80 | |-|-|-| | ||
| 81 | |Full (~720Mb)|[full.zip](https://math.uni.lu/tronto/nissy/nissy-tables-full.zip)|[full.tar.gz](https://math.uni.lu/tronto/nissy/nissy-tables-full.tar.gz)| | ||
| 82 | |No huge table (~90Mb)|[nohuge.zip](https://math.uni.lu/tronto/nissy/nissy-tables-nohuge.zip)|[nohuge.tar.gz](https://math.uni.lu/tronto/nissy/nissy-tables-nohuge.tar.gz)| | ||
| 83 | 74 | ||
| 84 | extract the archive and copy the tables folder into `NISSIDATA` (paste there | 75 | Choose either the |
| 85 | the whole folder, not file by file). The "nohuge" files are much smaller and do not | 76 | [zip](https://math.uni.lu/tronto/nissy/nissy-tables-2.0.zip) |
| 86 | contain the huge pruning table for the optimal solver. | 77 | or the |
| 78 | [tar.gz](https://math.uni.lu/tronto/nissy/nissy-tables-2.0.tar.gz) | ||
| 79 | file (click the links to download) and | ||
| 80 | extract them in the correct folder. | ||
| 87 | 81 | ||
| 88 | ## Structure of the code | 82 | ## Structure of the code |
| 89 | 83 | ||
