aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2021-12-28 15:47:44 +0100
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2021-12-28 15:47:44 +0100
commit9f13bc4362f0763aec047ec7a0608453503b022d (patch)
treeac369921241a1dbe77a124286de7adb957c8c4d5 /README
parentdc4efd2b5bff43a5a040e73e6e534a145a6b1fb2 (diff)
downloadnissy-9f13bc4362f0763aec047ec7a0608453503b022d.tar.gz
nissy-9f13bc4362f0763aec047ec7a0608453503b022d.zip
Info on ram requirement to gen large table
Diffstat (limited to '')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 88c0dbb..02caeb8 100644
--- a/README.md
+++ b/README.md
@@ -54,6 +54,7 @@ nissy simply loads the corresponding file from the hard disk.
54 54
55The very large table for optimal solving can take some time to generate 55The very large table for optimal solving can take some time to generate
56(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads). 56(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).
57In order to generate it you need at least 5Gb or RAM.
57All other tables are much faster. 58All other tables are much faster.
58 59
59You can ask Nissy to generate all the tables it will ever need with the `gen` 60You can ask Nissy to generate all the tables it will ever need with the `gen`

Generated with cgit - Back to sebastiano.tronto.net