From 490d6b168d29b46e55c48c59b5bdde281eebe67e Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 12 Dec 2021 12:13:42 +0100 Subject: Faster inverse cube; makes optimal solving about 30% faster --- INSTALL | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index f8bef02..8ce8946 100644 --- a/INSTALL +++ b/INSTALL @@ -1,10 +1,10 @@ # Requirements -A full installation of nissy requires about 1.8Gb of space, of which 1.6Gb are -occupied by the huge pruning table for optimal solving, and running it requires -the same amount of RAM. +A full installation of nissy requires a little more than 2Gb of space, +of which 1.6Gb are occupied by the huge pruning table for optimal solving, +and running it requires the same amount of RAM. One can choose to never use the optimal solver and not to install the relative -pruning table. If so, about 200Mb should be enough. +pruning table. If so, about 500Mb should be enough. # Installation -- cgit v1.3