diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-14 17:32:29 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-14 17:32:29 +0100 |
| commit | 25e0d5703367969170f8f47051c7adcf58f5c990 (patch) | |
| tree | bca61827af98a4fb23eb1ab5088a0154c39b193d /INSTALL | |
| parent | a9831ada32f9349b3d8973b07df3171455fbddcd (diff) | |
| download | nissy-25e0d5703367969170f8f47051c7adcf58f5c990.tar.gz nissy-25e0d5703367969170f8f47051c7adcf58f5c990.zip | |
Added light optimal solver - about 5 times slower but takes only 500Mb of RAM
Diffstat (limited to '')
| -rw-r--r-- | INSTALL | 7 |
1 files changed, 4 insertions, 3 deletions
| @@ -1,10 +1,11 @@ | |||
| 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 a little more than 2Gb of space, |
| 4 | of which 1.6Gb are occupied by the huge pruning table for optimal solving, | 4 | of which 1.6Gb 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 the optimal solver and not to install the relative | 6 | One can choose to never use this function and not to install the relative |
| 7 | pruning table. If so, about 500Mb should be enough. | 7 | pruning table. There is an alternative (about 5 times slower) |
| 8 | optimal solving function that uses about 500Mb of RAM. | ||
| 8 | 9 | ||
| 9 | # Installation | 10 | # Installation |
| 10 | 11 | ||