diff options
Diffstat (limited to 'www/download')
| -rw-r--r-- | www/download/index.html | 190 |
1 files changed, 190 insertions, 0 deletions
diff --git a/www/download/index.html b/www/download/index.html new file mode 100644 index 0000000..a161371 --- /dev/null +++ b/www/download/index.html | |||
| @@ -0,0 +1,190 @@ | |||
| 1 | <!doctype html> | ||
| 2 | <html> | ||
| 3 | <head> | ||
| 4 | <title> Download | Nissy </title> | ||
| 5 | <meta name="viewport" content="width=device-width" /> <link rel="stylesheet" type="text/css" href="/style.css"> | ||
| 6 | <link rel="icon" href="/favicon.png"> | ||
| 7 | <meta charset="utf-8"> | ||
| 8 | </head> | ||
| 9 | |||
| 10 | <body> | ||
| 11 | |||
| 12 | <nav class="top"> | ||
| 13 | <table class="menu"> | ||
| 14 | <tr> | ||
| 15 | <td class="logo"> <a href="/"><img src="/favicon.png"></a> </td> | ||
| 16 | <td class="links"> | ||
| 17 | <a href="/download/">Download</a> | | ||
| 18 | <a href="/examples/">Examples</a> | ||
| 19 | </td> | ||
| 20 | </tr> | ||
| 21 | </table> | ||
| 22 | </nav> | ||
| 23 | |||
| 24 | <hr class="line"> | ||
| 25 | |||
| 26 | |||
| 27 | <h1>Get Nissy</h1> | ||
| 28 | |||
| 29 | <table class="dltable"> | ||
| 30 | <tr> | ||
| 31 | <td></td> | ||
| 32 | <td><strong>Source code</strong></td> | ||
| 33 | <td><strong>Windows executable</strong></td> | ||
| 34 | </tr> | ||
| 35 | <tr> | ||
| 36 | <td><strong>Latest version</strong></td> | ||
| 37 | <td><a href="/nissy-2.0.1.tar.gz">nissy-2.0.1.tar.gz (63Kb)</a></td> | ||
| 38 | <td><a href="/nissy-2.0.1.exe">nissy-2.0.1.exe (770Kb)</a></td> | ||
| 39 | </tr> | ||
| 40 | </table> | ||
| 41 | |||
| 42 | <p> | ||
| 43 | In this page you can find download links (see above) | ||
| 44 | and installation instructions (see below) for | ||
| 45 | nissy. If instead you wish to clone the | ||
| 46 | <a href="https://git.tronto.net/nissy/">git repository</a>, use | ||
| 47 | <pre> | ||
| 48 | <code>git clone https://git.tronto.net/nissy</code> | ||
| 49 | </pre> | ||
| 50 | </p> | ||
| 51 | |||
| 52 | <p> | ||
| 53 | For a summary of changes and a list of older versions see below. Some versions | ||
| 54 | (for example 1.0) are not available directly, but can be obtained from | ||
| 55 | the git repository. | ||
| 56 | </p> | ||
| 57 | |||
| 58 | <h2>Installation</h2> | ||
| 59 | |||
| 60 | <h3>System requirements</h3> | ||
| 61 | |||
| 62 | <p> | ||
| 63 | A full installation of nissy requires about 3Gb of space, | ||
| 64 | of which 2.3Gb are occupied by the huge pruning table for fast optimal solving, | ||
| 65 | and running it requires the same amount of RAM. | ||
| 66 | One can choose to never use this function and not to install the relative | ||
| 67 | pruning table. There is an alternative (slower) | ||
| 68 | optimal solving function that uses about 500Mb of RAM. | ||
| 69 | </p> | ||
| 70 | |||
| 71 | <h3>Windows</h3> | ||
| 72 | |||
| 73 | <p> | ||
| 74 | Try downloading and executing in a terminal the file <code>nissy.exe</code>, | ||
| 75 | then follow the instructions in the <strong>Tables</strong> section below for | ||
| 76 | installing the pruning tables. | ||
| 77 | If <code>nissy.exe</code> does not work, you can try following the UNIX instructions | ||
| 78 | in WSL (Windows Subsystem for Linux) or in a similar environment. | ||
| 79 | </p> | ||
| 80 | |||
| 81 | <h3>UNIX (Linux, MacOS, *BSD...)</h3> | ||
| 82 | <p> | ||
| 83 | Edit the <code>Makefile</code> to match your local configuration | ||
| 84 | (this is usually not necessary, but you may want to change the | ||
| 85 | <code>PREFIX</code> variable to change the installation path) | ||
| 86 | and run <code>make</code>, followed by <code>make install</code>. | ||
| 87 | Follow the instructions below to install the pruning tables. | ||
| 88 | |||
| 89 | <h3>Tables</h3> | ||
| 90 | |||
| 91 | <table class="dltable"> | ||
| 92 | <tr> | ||
| 93 | <td></td> <td><strong>Zip file</strong></td> | ||
| 94 | </tr> | ||
| 95 | <tr> | ||
| 96 | <td><strong>Tables</strong></td> | ||
| 97 | <td><a href="/nissy-tables-2.0.zip">nissy-tables.2.0.zip (63Kb)</a></td> | ||
| 98 | </tr> | ||
| 99 | </table> | ||
| 100 | <p> | ||
| 101 | <strong>Note:</strong> the version 2.0 at the end of the file name is | ||
| 102 | only indicative. Later versionw will use the same tables, unless | ||
| 103 | otherwise specified. | ||
| 104 | </p> | ||
| 105 | |||
| 106 | <p> | ||
| 107 | Nissy needs certain large tables to work. These tables are by default | ||
| 108 | generated the first time they are needed (e.g the first time you ask to solve a | ||
| 109 | certain step) and then saved to a file. Whenever these tables are needed again, | ||
| 110 | nissy simply loads the corresponding file from the hard disk. | ||
| 111 | </p> | ||
| 112 | |||
| 113 | <p> | ||
| 114 | The very large table for optimal solving can take some time to generate | ||
| 115 | (about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads). | ||
| 116 | In order to generate it you need at least 5Gb of RAM. | ||
| 117 | All other tables are much faster. | ||
| 118 | </p> | ||
| 119 | |||
| 120 | <p> | ||
| 121 | You can ask nissy to generate all the tables it will ever need with the gen | ||
| 122 | command. It is recommended to use more than one thread, if your CPU has them. | ||
| 123 | For example, you can run: | ||
| 124 | </p> | ||
| 125 | |||
| 126 | <pre><code>nissy gen -t 8</pre></code> | ||
| 127 | |||
| 128 | <p> | ||
| 129 | to generate all tables using 8 threads. You can change 8 to any number | ||
| 130 | your CPU supports, up to 64. | ||
| 131 | </p> | ||
| 132 | |||
| 133 | <p> | ||
| 134 | Alternatively, you can simply download all the tables and copy them into the | ||
| 135 | correct folder (see manual page, <code>ENVIRONMENT</code> section). On UNIX | ||
| 136 | operating systems this folder is either <code>.nissy/tables</code> in the | ||
| 137 | user's home directory or <code>$XDG_DATA_HOME/nissy/tables</code> if the | ||
| 138 | XDG variable is configured. On Windows it is the same directory as the | ||
| 139 | <code>nissy.exe</code> executable file. | ||
| 140 | </p> | ||
| 141 | |||
| 142 | <h2>Version history</h2> | ||
| 143 | |||
| 144 | <h3>Nissy v2</h3> | ||
| 145 | |||
| 146 | <table class=dltable> | ||
| 147 | <tr> | ||
| 148 | <td><strong>Version</strong></td> | ||
| 149 | <td><strong>Date</strong></td> | ||
| 150 | <td><strong>Comment</strong></td> | ||
| 151 | </tr> | ||
| 152 | <tr> | ||
| 153 | <td><a href="/nissy-2.0.1.tar.gz">2.0.1</a></td> | ||
| 154 | <td>2022-02-22</td> | ||
| 155 | <td>Bugfix release</td> | ||
| 156 | </tr> | ||
| 157 | <tr> | ||
| 158 | <td>2.0</td> | ||
| 159 | <td>2021-12-29</td> | ||
| 160 | <td>Rewritten from scratch; much faster optimal solver</td> | ||
| 161 | </tr> | ||
| 162 | </table> | ||
| 163 | |||
| 164 | <h3>Nissy v1</h3> | ||
| 165 | |||
| 166 | <p> | ||
| 167 | Nissy v1 was released in 2020. It was slow, full of bugs and the code | ||
| 168 | was quite terrible. But in practice it got its job done most of the time. | ||
| 169 | </p> | ||
| 170 | |||
| 171 | |||
| 172 | <hr class="line"> | ||
| 173 | |||
| 174 | <nav class="bottom"> | ||
| 175 | <table class="footer"> | ||
| 176 | <tr> | ||
| 177 | <td class="contact"> | ||
| 178 | <a href="https://sebastiano.tronto.net">sebastiano.tronto.net</a> | ||
| 179 | </td> | ||
| 180 | <td class="hosted"> | ||
| 181 | <a href="mailto:sebastiano@tronto.net"> | ||
| 182 | sebastiano@tronto.net | ||
| 183 | </a> | ||
| 184 | </td> | ||
| 185 | </tr> | ||
| 186 | </table> | ||
| 187 | </nav> | ||
| 188 | |||
| 189 | </body> | ||
| 190 | </html> | ||
