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 /INSTALL | |
| parent | 2332679ad64e3e0318ca812421190156edec9186 (diff) | |
| download | nissy-9f3c7e7ea5d872fc017271df61691ea545049211.tar.gz nissy-9f3c7e7ea5d872fc017271df61691ea545049211.zip | |
Changed installation instructions (for pruning tables)
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 35 |
1 files changed, 18 insertions, 17 deletions
| @@ -1,10 +1,10 @@ | |||
| 1 | # Requirements | 1 | # Requirements |
| 2 | 2 | ||
| 3 | A full installation of nissy requires a little more than 2Gb of space, | 3 | A full installation of nissy requires about 3Gb of space, |
| 4 | of which 1.6Gb are occupied by the huge pruning table for fast optimal solving, | 4 | of which 2.3Gb are occupied by the huge pruning table for fast optimal solving, |
| 5 | and running it requires the same amount of RAM. | 5 | and running it requires the same amount of RAM. |
| 6 | One can choose to never use this function and not to install the relative | 6 | One can choose to never use this function and not to install the relative |
| 7 | pruning table. There is an alternative (about 5 times slower) | 7 | pruning table. There is an alternative (slower) |
| 8 | optimal solving function that uses about 500Mb of RAM. | 8 | optimal solving function that uses about 500Mb of RAM. |
| 9 | 9 | ||
| 10 | # Installation | 10 | # Installation |
| @@ -28,12 +28,12 @@ Follows the instructions below to install the pruning tables. | |||
| 28 | ## Tables | 28 | ## Tables |
| 29 | Nissy needs to generate certain large tables to work. These tables are by default | 29 | Nissy needs to generate certain large tables to work. These tables are by default |
| 30 | generated the first time they are needed (e.g the first time you ask to solve a | 30 | generated the first time they are needed (e.g the first time you ask to solve a |
| 31 | certain step) and then saved to a file. The following times nissy simply loads the | 31 | certain step) and then saved to a file. Whenever these tables are needed again, |
| 32 | corresponding file from the hard disk. | 32 | nissy simply loads the corresponding file from the hard disk. |
| 33 | 33 | ||
| 34 | The very large table for optimal solving can take some time to generate (about 20 | 34 | The very large table for optimal solving can take some time to generate |
| 35 | minutes on my fairly old but decent laptop, using 8 CPU threads). All other | 35 | (about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads). |
| 36 | tables are much faster. | 36 | All other tables are much faster. |
| 37 | 37 | ||
| 38 | You can ask nissy to generate all the tables it will ever need with the gen | 38 | You can ask nissy to generate all the tables it will ever need with the gen |
| 39 | command. It is recommended to use more than one thread, if your CPU has them. | 39 | command. It is recommended to use more than one thread, if your CPU has them. |
| @@ -44,12 +44,13 @@ nissy gen -t 8 | |||
| 44 | to generate all tables using 8 threads. | 44 | to generate all tables using 8 threads. |
| 45 | 45 | ||
| 46 | Alternatively, you can simply download all the tables and copy them into the | 46 | Alternatively, you can simply download all the tables and copy them into the |
| 47 | correct folder (see manual page, ENVIRONMENT section). | 47 | correct folder (see manual page, ENVIRONMENT section). On UNIX operating |
| 48 | Choose one of the following: | 48 | systems this folder is either .nissy/tables in the user's home directory or |
| 49 | https://math.uni.lu/tronto/nissy/nissy-tables-full.zip | 49 | $XDG_DATA_HOME/nissy/tables if the XDG variable is configured. On Windows |
| 50 | https://math.uni.lu/tronto/nissy/nissy-tables-full.tar.gz | 50 | it is the same directory as the nissy.exe executable file. |
| 51 | https://math.uni.lu/tronto/nissy/nissy-tables-nohuge.zip | 51 | |
| 52 | https://math.uni.lu/tronto/nissy/nissy-tables-nohuge.tar.gz | 52 | Choose either (zip format) |
| 53 | extract the archive and copy the tables folder into NISSIDATA (paste there | 53 | https://math.uni.lu/tronto/nissy/nissy-tables-2.0.zip |
| 54 | the whole folder, not file by file). The "nohuge" files are much smaller and do not | 54 | or (tar.gz format) |
| 55 | contain the huge pruning table for the optimal solver. | 55 | https://math.uni.lu/tronto/nissy/nissy-tables-2.0.tar.gz |
| 56 | and extract the archive into the correct folder. | ||