1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 07c5715..1465458 100644
--- 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/INSTALL b/INSTALL index 07c5715..1465458 100644 --- a/INSTALL +++ b/INSTALL
@@ -33,6 +33,7 @@ nissy simply loads the corresponding file from the hard disk.
33		33
34	The very large table for optimal solving can take some time to generate	34	The very large table for optimal solving can take some time to generate
35	(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).	35	(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).
		36	In order to generate it you need at least 5Gb or RAM.
36	All other tables are much faster.	37	All other tables are much faster.
37		38
38	You can ask nissy to generate all the tables it will ever need with the gen	39	You can ask nissy to generate all the tables it will ever need with the gen