From 25e0d5703367969170f8f47051c7adcf58f5c990 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 14 Dec 2021 17:32:29 +0100 Subject: Added light optimal solver - about 5 times slower but takes only 500Mb of RAM --- INSTALL | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 8ce8946..3175d25 100644 --- a/INSTALL +++ b/INSTALL @@ -1,10 +1,11 @@ # Requirements 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, +of which 1.6Gb are occupied by the huge pruning table for fast 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 500Mb should be enough. +One can choose to never use this function and not to install the relative +pruning table. There is an alternative (about 5 times slower) +optimal solving function that uses about 500Mb of RAM. # Installation -- cgit v1.3