aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2022-02-22 00:17:33 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2022-02-22 00:17:33 +0100
commitf2db614faffca90b514828cc045dde9be48c6802 (patch)
tree8cb43c3d8239d53004bd2f8878782dc87c284a44 /INSTALL
parente112b437fca16f2da6cfad645e8cf20ded065e51 (diff)
downloadnissy-f2db614faffca90b514828cc045dde9be48c6802.tar.gz
nissy-f2db614faffca90b514828cc045dde9be48c6802.zip
Added website; released 2.0.1
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL15
1 files changed, 9 insertions, 6 deletions
diff --git a/INSTALL b/INSTALL
index e3ed7a9..f0bba55 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,7 @@
1# Website
2
3Nissy is available at https://nissy.tronto.net
4
1# Requirements 5# Requirements
2 6
3A full installation of nissy requires about 3Gb of space, 7A full installation of nissy requires about 3Gb of space,
@@ -23,7 +27,7 @@ Sorry for the inconvenience, I don't have a Windows machine to test this on.
23 27
24Edit the Makefile to match your local configuration (usually not necessary, but you 28Edit the Makefile to match your local configuration (usually not necessary, but you
25may want to change the PREFIX variable) and run make, followed by make install. 29may want to change the PREFIX variable) and run make, followed by make install.
26Follows the instructions below to install the pruning tables. 30Follow the instructions below to install the pruning tables.
27 31
28## Tables 32## Tables
29Nissy needs to generate certain large tables to work. These tables are by default 33Nissy needs to generate certain large tables to work. These tables are by default
@@ -33,7 +37,7 @@ nissy simply loads the corresponding file from the hard disk.
33 37
34The very large table for optimal solving can take some time to generate 38The 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). 39(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).
36In order to generate it you need at least 5Gb or RAM. 40In order to generate it you need at least 5Gb of RAM.
37All other tables are much faster. 41All other tables are much faster.
38 42
39You can ask nissy to generate all the tables it will ever need with the gen 43You can ask nissy to generate all the tables it will ever need with the gen
@@ -50,8 +54,7 @@ systems this folder is either .nissy/tables in the user's home directory or
50$XDG_DATA_HOME/nissy/tables if the XDG variable is configured. On Windows 54$XDG_DATA_HOME/nissy/tables if the XDG variable is configured. On Windows
51it is the same directory as the nissy.exe executable file. 55it is the same directory as the nissy.exe executable file.
52 56
53Choose either (zip format) 57You can downloads all the tables from the following link:
54 https://nissy.tronto.net/nissy-tables-2.0.zip 58 https://nissy.tronto.net/nissy-tables-2.0.zip
55or (tar.gz format) 59The version 2.0 at the end of the file name is only indicative.
56 https://nissy.tronto.net/nissy-tables-2.0.tar.gz 60Later versions will use the same tables, unless otherwise specified.
57and extract the archive into the correct folder.

Generated with cgit - Back to sebastiano.tronto.net