diff options
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 | ||