aboutsummaryrefslogtreecommitdiff
path: root/README.md
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.md
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