commit 9f13bc4362f0763aec047ec7a0608453503b022d
parent dc4efd2b5bff43a5a040e73e6e534a145a6b1fb2
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Tue, 28 Dec 2021 15:47:44 +0100
Info on ram requirement to gen large table
Diffstat:
2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/INSTALL b/INSTALL
@@ -33,6 +33,7 @@ nissy simply loads the corresponding file from the hard disk.
The very large table for optimal solving can take some time to generate
(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).
+In order to generate it you need at least 5Gb or RAM.
All other tables are much faster.
You can ask nissy to generate all the tables it will ever need with the gen
diff --git a/README.md b/README.md
@@ -54,6 +54,7 @@ nissy simply loads the corresponding file from the hard disk.
The very large table for optimal solving can take some time to generate
(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).
+In order to generate it you need at least 5Gb or RAM.
All other tables are much faster.
You can ask Nissy to generate all the tables it will ever need with the `gen`
