diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-12 12:13:42 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-12 12:13:42 +0100 |
| commit | 490d6b168d29b46e55c48c59b5bdde281eebe67e (patch) | |
| tree | f9ca5c3e9e26de580240cc9af22e06d3b7989bfe /INSTALL | |
| parent | 9725570d740041b51d6bdfbc8416498ddad77666 (diff) | |
| download | nissy-490d6b168d29b46e55c48c59b5bdde281eebe67e.tar.gz nissy-490d6b168d29b46e55c48c59b5bdde281eebe67e.zip | |
Faster inverse cube; makes optimal solving about 30% faster
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 8 |
1 files changed, 4 insertions, 4 deletions
| @@ -1,10 +1,10 @@ | |||
| 1 | # Requirements | 1 | # Requirements |
| 2 | 2 | ||
| 3 | A full installation of nissy requires about 1.8Gb of space, of which 1.6Gb are | 3 | A full installation of nissy requires a little more than 2Gb of space, |
| 4 | occupied by the huge pruning table for optimal solving, and running it requires | 4 | of which 1.6Gb are occupied by the huge pruning table for optimal solving, |
| 5 | 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 the optimal solver and not to install the relative |
| 7 | pruning table. If so, about 200Mb should be enough. | 7 | pruning table. If so, about 500Mb should be enough. |
| 8 | 8 | ||
| 9 | # Installation | 9 | # Installation |
| 10 | 10 | ||