diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2023-05-01 16:33:51 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2023-05-01 16:33:51 +0200 |
| commit | bf44088d4373a9520e860152c56a958332819c4b (patch) | |
| tree | ea35c847a1d82aa715e1fc1c76e4a24462255051 /www | |
| parent | 1a5bfe9b08707b0aef748d7921a419ba4a046fba (diff) | |
| download | nissy-bf44088d4373a9520e860152c56a958332819c4b.tar.gz nissy-bf44088d4373a9520e860152c56a958332819c4b.zip | |
Split nissy in other repos, see README.md
Diffstat (limited to '')
| -rw-r--r-- | www/download/index.html | 217 | ||||
| -rw-r--r-- | www/examples/index.html | 49 | ||||
| -rw-r--r-- | www/favicon.png | bin | 6550 -> 0 bytes | |||
| -rw-r--r-- | www/index.html | 93 | ||||
| -rw-r--r-- | www/screenshot.png | bin | 61239 -> 0 bytes | |||
| -rw-r--r-- | www/style-3.css | 105 |
6 files changed, 0 insertions, 464 deletions
diff --git a/www/download/index.html b/www/download/index.html deleted file mode 100644 index 8e4cccd..0000000 --- a/www/download/index.html +++ /dev/null | |||
| @@ -1,217 +0,0 @@ | |||
| 1 | <!doctype html> | ||
| 2 | <html lang="en"> | ||
| 3 | <head> | ||
| 4 | <title> Download | Nissy </title> | ||
| 5 | <meta name="viewport" content="width=device-width" /> <link rel="stylesheet" type="text/css" href="/style-3.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" alt="logo"></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.3.tar.gz">nissy-2.0.3.tar.gz (67Kb)</a></td> | ||
| 38 | <td><a href="/nissy-2.0.3.exe">nissy-2.0.3.exe (780Kb)</a></td> | ||
| 39 | </tr> | ||
| 40 | </table> | ||
| 41 | |||
| 42 | <p> | ||
| 43 | In this page you can find download links (see above), | ||
| 44 | <a href="#Installation">installation instructions</a> and | ||
| 45 | <a href="#Upgrade">upgrade instructions</a> | ||
| 46 | for nissy. If instead you wish to clone the | ||
| 47 | <a href="https://git.tronto.net/nissy/">git repository</a>, | ||
| 48 | you can use git: | ||
| 49 | </p> | ||
| 50 | |||
| 51 | <pre> | ||
| 52 | <code>git clone https://git.tronto.net/nissy</code> | ||
| 53 | </pre> | ||
| 54 | |||
| 55 | <p> | ||
| 56 | For a summary of changes and a list of older versions see below. Some versions | ||
| 57 | (for example 1.0) are not available directly, but can be obtained from | ||
| 58 | the git repository. | ||
| 59 | </p> | ||
| 60 | |||
| 61 | <h2 id="Installation">Installation</h2> | ||
| 62 | |||
| 63 | <h3>System requirements</h3> | ||
| 64 | |||
| 65 | <p> | ||
| 66 | A full installation of nissy requires about 3.1Gb of space, | ||
| 67 | of which 2.3Gb are occupied by the huge pruning table for fast optimal solving, | ||
| 68 | and running it requires the same amount of RAM. | ||
| 69 | One can choose to never use this function and not to install the relative | ||
| 70 | pruning table. There is an alternative (slower) | ||
| 71 | optimal solving function that uses about 500Mb of RAM. | ||
| 72 | |||
| 73 | When generating the pruning tables automatically (see the section Tables below), | ||
| 74 | at least 5.3Gb or RAM are required. | ||
| 75 | </p> | ||
| 76 | |||
| 77 | <h3>Windows</h3> | ||
| 78 | |||
| 79 | <p> | ||
| 80 | Try downloading and executing in a terminal the file <code>nissy.exe</code>, | ||
| 81 | then follow the instructions in the <strong>Tables</strong> section below for | ||
| 82 | installing the pruning tables. | ||
| 83 | If <code>nissy.exe</code> does not work, you can try following the UNIX instructions | ||
| 84 | in WSL (Windows Subsystem for Linux) or in a similar environment. | ||
| 85 | </p> | ||
| 86 | |||
| 87 | <h3>UNIX (Linux, MacOS, *BSD...)</h3> | ||
| 88 | <p> | ||
| 89 | Download the source archive (.tar.gz). Extract it | ||
| 90 | with your favorite archive program, for example with | ||
| 91 | </p> | ||
| 92 | <pre><code>tar -xvzf nissy-VERSION.tar.gz</code></pre> | ||
| 93 | <p> | ||
| 94 | Open a terminal in the directory just extracted. | ||
| 95 | If you wish, edit the <code>Makefile</code> to match your local configuration | ||
| 96 | (this is usually not necessary, but you may want to change the | ||
| 97 | <code>PREFIX</code> variable to change the installation path) and run | ||
| 98 | <pre><code>make</code></pre> | ||
| 99 | <p> | ||
| 100 | followed by | ||
| 101 | </p> | ||
| 102 | <pre><code>make install</code></pre> | ||
| 103 | <p> | ||
| 104 | Then follow the instructions below to install the pruning tables. | ||
| 105 | </p> | ||
| 106 | |||
| 107 | <h3>Tables</h3> | ||
| 108 | |||
| 109 | <p> | ||
| 110 | Once you have installed nissy, run | ||
| 111 | </p> | ||
| 112 | |||
| 113 | <pre><code>nissy gen</code></pre> | ||
| 114 | |||
| 115 | <p> | ||
| 116 | to generate all the tables that Nissy will ever need. | ||
| 117 | Running this command requires around 5.3Gb of RAM, and it can take some time | ||
| 118 | (about 40 minutes on my fairly old but decent laptop, with 8 CPU threads). | ||
| 119 | </p> | ||
| 120 | |||
| 121 | <p> | ||
| 122 | Some unnecessary technical detail: by default this command is going to use | ||
| 123 | at most 64 threads. If you want you can choose to use more threads (if your CPU | ||
| 124 | is very powerful) or fewer threads (if you for example want to run this command | ||
| 125 | in the background while you do other stuff) with the <code>-t</code> option, for | ||
| 126 | example <code>nissy gen -t 1</code>. | ||
| 127 | </p> | ||
| 128 | |||
| 129 | <p> | ||
| 130 | Alternatively, you can | ||
| 131 | <a href="/nissy-tables-2.0.2.zip">download all the tables (1.7Gb)</a> and | ||
| 132 | copy them into the correct folder (see manual page, <code>ENVIRONMENT</code> | ||
| 133 | section). On UNIX operating systems this folder is either | ||
| 134 | <code>.nissy/tables</code> in the user's home directory or | ||
| 135 | <code>$XDG_DATA_HOME/nissy/tables</code> if the XDG variable is configured. | ||
| 136 | On Windows it is the same directory as the <code>nissy.exe</code> executable | ||
| 137 | file. | ||
| 138 | </p> | ||
| 139 | |||
| 140 | <h2 id="Upgrade">Upgrading</h2> | ||
| 141 | <p> | ||
| 142 | If you already have nissy installed and you want to upgrade to a more | ||
| 143 | recent version, you can simply repeat the installation process: | ||
| 144 | </p> | ||
| 145 | <ul> | ||
| 146 | <li> | ||
| 147 | On Windows: simply replace nissy.exe with the new file with the same name. | ||
| 148 | </li> | ||
| 149 | <li> | ||
| 150 | On UNIX systems: download the new version of the source code, extract it in | ||
| 151 | a new folder and run <code>make</code> and <code>make install</code> again. | ||
| 152 | </li> | ||
| 153 | </ul> | ||
| 154 | <p> | ||
| 155 | Between each version new table files might have been added, or old ones | ||
| 156 | may be not used anymore. Nissy will deal with this automatically. | ||
| 157 | </p> | ||
| 158 | |||
| 159 | <h2>Version history</h2> | ||
| 160 | |||
| 161 | <h3>Nissy v2</h3> | ||
| 162 | |||
| 163 | <table class=dltable> | ||
| 164 | <tr> | ||
| 165 | <td><strong>Version</strong></td> | ||
| 166 | <td><strong>Date</strong></td> | ||
| 167 | <td><strong>Comment</strong></td> | ||
| 168 | </tr> | ||
| 169 | <tr> | ||
| 170 | <td><a href="/nissy-2.0.3.tar.gz">2.0.3</a></td> | ||
| 171 | <td>2022-09-10</td> | ||
| 172 | <td>Fixed bug in scramble dr</td> | ||
| 173 | </tr> | ||
| 174 | <tr> | ||
| 175 | <td><a href="/nissy-2.0.2.tar.gz">2.0.2</a></td> | ||
| 176 | <td>2022-06-01</td> | ||
| 177 | <td>Improved table generation speed</td> | ||
| 178 | </tr> | ||
| 179 | <tr> | ||
| 180 | <td><a href="/nissy-2.0.1.tar.gz">2.0.1</a></td> | ||
| 181 | <td>2022-02-22</td> | ||
| 182 | <td>Bugfix release</td> | ||
| 183 | </tr> | ||
| 184 | <tr> | ||
| 185 | <td>2.0</td> | ||
| 186 | <td>2021-12-29</td> | ||
| 187 | <td>Rewritten from scratch; much faster optimal solver</td> | ||
| 188 | </tr> | ||
| 189 | </table> | ||
| 190 | |||
| 191 | <h3>Nissy v1</h3> | ||
| 192 | |||
| 193 | <p> | ||
| 194 | Nissy v1 was released in 2020. It was slow, full of bugs and the code | ||
| 195 | was quite terrible. But in practice it got its job done most of the time. | ||
| 196 | </p> | ||
| 197 | |||
| 198 | |||
| 199 | <hr class="line"> | ||
| 200 | |||
| 201 | <nav class="bottom"> | ||
| 202 | <table class="footer"> | ||
| 203 | <tr> | ||
| 204 | <td class="contact"> | ||
| 205 | <a href="https://sebastiano.tronto.net">sebastiano.tronto.net</a> | ||
| 206 | </td> | ||
| 207 | <td class="hosted"> | ||
| 208 | <a href="mailto:sebastiano@tronto.net"> | ||
| 209 | sebastiano@tronto.net | ||
| 210 | </a> | ||
| 211 | </td> | ||
| 212 | </tr> | ||
| 213 | </table> | ||
| 214 | </nav> | ||
| 215 | |||
| 216 | </body> | ||
| 217 | </html> | ||
diff --git a/www/examples/index.html b/www/examples/index.html deleted file mode 100644 index 517c251..0000000 --- a/www/examples/index.html +++ /dev/null | |||
| @@ -1,49 +0,0 @@ | |||
| 1 | <!doctype html> | ||
| 2 | <html lang="en"> | ||
| 3 | <head> | ||
| 4 | <title> Examples | Nissy </title> | ||
| 5 | <meta name="viewport" content="width=device-width" /> <link rel="stylesheet" type="text/css" href="/style-3.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" alt="logo"></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>Examples</h1> | ||
| 28 | |||
| 29 | (Coming soon...) | ||
| 30 | |||
| 31 | <hr class="line"> | ||
| 32 | |||
| 33 | <nav class="bottom"> | ||
| 34 | <table class="footer"> | ||
| 35 | <tr> | ||
| 36 | <td class="contact"> | ||
| 37 | <a href="https://sebastiano.tronto.net">sebastiano.tronto.net</a> | ||
| 38 | </td> | ||
| 39 | <td class="hosted"> | ||
| 40 | <a href="mailto:sebastiano@tronto.net"> | ||
| 41 | sebastiano@tronto.net | ||
| 42 | </a> | ||
| 43 | </td> | ||
| 44 | </tr> | ||
| 45 | </table> | ||
| 46 | </nav> | ||
| 47 | |||
| 48 | </body> | ||
| 49 | </html> | ||
diff --git a/www/favicon.png b/www/favicon.png deleted file mode 100644 index 3ec80a1..0000000 --- a/www/favicon.png +++ /dev/null | |||
| Binary files differ | |||
diff --git a/www/index.html b/www/index.html deleted file mode 100644 index 500952c..0000000 --- a/www/index.html +++ /dev/null | |||
| @@ -1,93 +0,0 @@ | |||
| 1 | <!doctype html> | ||
| 2 | <html lang="en"> | ||
| 3 | <head> | ||
| 4 | <title> Nissy | Nissy </title> | ||
| 5 | <meta name="viewport" content="width=device-width" /> <link rel="stylesheet" type="text/css" href="/style-3.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" alt="logo"></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>Nissy</h1> | ||
| 28 | |||
| 29 | <p class=subtitle>A Rubik's cube solver and FMC assistant</p> | ||
| 30 | |||
| 31 | <img src="/screenshot.png" alt="A screenshot of nissy running in a terminal emulator"> | ||
| 32 | |||
| 33 | <p> | ||
| 34 | Nissy is a command-line Rubik's cube solver. It can find optimal solutions | ||
| 35 | for random positions using techniques from Herbert Kociemba's | ||
| 36 | <a href="http://kociemba.org/cube.htm">Cube Explorer</a> and | ||
| 37 | Tomas Rokicki's | ||
| 38 | <a href="https://github.com/rokici/cube20src/blob/master/nxopt.md">nxopt</a>. | ||
| 39 | With 4 cores at 2.5GHz and using about 3Gb of RAM, Nissy can find an optimal | ||
| 40 | solution in about a minute on average. | ||
| 41 | </p> | ||
| 42 | |||
| 43 | <p> | ||
| 44 | Nissy aims at being a complete tool | ||
| 45 | for FMC (Fewest Moves Challenge) practice. It can solve different steps | ||
| 46 | of Thistlethwaite's algorithm (also know as DR/HTR) and cans use NISS | ||
| 47 | (Normal-Inverse Scramble Switch). | ||
| 48 | </p> | ||
| 49 | |||
| 50 | <p> | ||
| 51 | You should use Nissy if: | ||
| 52 | </p> | ||
| 53 | <ul> | ||
| 54 | <li> | ||
| 55 | You want to analyze your DR solutions or check for multiple optimal | ||
| 56 | (or sub-optimal) solutions for EO/DR/HTR or similar steps. | ||
| 57 | </li> | ||
| 58 | <li> | ||
| 59 | You just want a Rubik's cube solver and you like command line interfaces. | ||
| 60 | </li> | ||
| 61 | <li> | ||
| 62 | You want an alternative to Cube Explorer. | ||
| 63 | </li> | ||
| 64 | </ul> | ||
| 65 | |||
| 66 | <p> | ||
| 67 | To get started, head to the <a href="/download/">download</a> page. | ||
| 68 | </p> | ||
| 69 | |||
| 70 | <p> | ||
| 71 | You can also see its source code by cloning the git repository | ||
| 72 | <a href="https://git.tronto.net/nissy/">git.tronto.net/nissy</a> | ||
| 73 | </p> | ||
| 74 | |||
| 75 | <hr class="line"> | ||
| 76 | |||
| 77 | <nav class="bottom"> | ||
| 78 | <table class="footer"> | ||
| 79 | <tr> | ||
| 80 | <td class="contact"> | ||
| 81 | <a href="https://sebastiano.tronto.net">sebastiano.tronto.net</a> | ||
| 82 | </td> | ||
| 83 | <td class="hosted"> | ||
| 84 | <a href="mailto:sebastiano@tronto.net"> | ||
| 85 | sebastiano@tronto.net | ||
| 86 | </a> | ||
| 87 | </td> | ||
| 88 | </tr> | ||
| 89 | </table> | ||
| 90 | </nav> | ||
| 91 | |||
| 92 | </body> | ||
| 93 | </html> | ||
diff --git a/www/screenshot.png b/www/screenshot.png deleted file mode 100644 index a73f2fd..0000000 --- a/www/screenshot.png +++ /dev/null | |||
| Binary files differ | |||
diff --git a/www/style-3.css b/www/style-3.css deleted file mode 100644 index ec70635..0000000 --- a/www/style-3.css +++ /dev/null | |||
| @@ -1,105 +0,0 @@ | |||
| 1 | .menu { | ||
| 2 | width: 100%; | ||
| 3 | } | ||
| 4 | |||
| 5 | .links { | ||
| 6 | text-align: right; | ||
| 7 | font-weight: bold; | ||
| 8 | } | ||
| 9 | |||
| 10 | .logo img { | ||
| 11 | width: 50px; | ||
| 12 | height: 50px; | ||
| 13 | } | ||
| 14 | |||
| 15 | .footer { | ||
| 16 | font-style: italic; | ||
| 17 | width: 100%; | ||
| 18 | } | ||
| 19 | |||
| 20 | .hosted { | ||
| 21 | text-align: right; | ||
| 22 | } | ||
| 23 | |||
| 24 | body { | ||
| 25 | margin: auto 8px 20px 8px; | ||
| 26 | } | ||
| 27 | |||
| 28 | img { | ||
| 29 | display: block; | ||
| 30 | margin-left: auto; | ||
| 31 | margin-right: auto; | ||
| 32 | max-width: 100%; | ||
| 33 | } | ||
| 34 | |||
| 35 | code { | ||
| 36 | background-color: #eeeeee; | ||
| 37 | padding: 2px; | ||
| 38 | } | ||
| 39 | |||
| 40 | pre code { | ||
| 41 | padding: 0px; | ||
| 42 | } | ||
| 43 | |||
| 44 | pre { | ||
| 45 | background-color: #eeeeee; | ||
| 46 | border: 2px solid; | ||
| 47 | padding: 6px; | ||
| 48 | } | ||
| 49 | |||
| 50 | #blob { | ||
| 51 | background: #ffffff; | ||
| 52 | border: none; | ||
| 53 | } | ||
| 54 | |||
| 55 | a { | ||
| 56 | color: #0f2899; | ||
| 57 | text-decoration: none; | ||
| 58 | } | ||
| 59 | |||
| 60 | .links a { | ||
| 61 | font-weight: bold; | ||
| 62 | color: black; | ||
| 63 | } | ||
| 64 | |||
| 65 | .hosted a, | ||
| 66 | .contact a { | ||
| 67 | font-weight: bold; | ||
| 68 | } | ||
| 69 | |||
| 70 | a:hover { | ||
| 71 | text-decoration: underline; | ||
| 72 | } | ||
| 73 | |||
| 74 | html { | ||
| 75 | margin: 1em auto; | ||
| 76 | max-width: 42em; | ||
| 77 | } | ||
| 78 | |||
| 79 | h1 { | ||
| 80 | text-align: center; | ||
| 81 | } | ||
| 82 | |||
| 83 | td h1 { | ||
| 84 | text-align: left; | ||
| 85 | font-size: 1.5em; | ||
| 86 | } | ||
| 87 | |||
| 88 | table { | ||
| 89 | width: 100%; | ||
| 90 | } | ||
| 91 | |||
| 92 | .url td { | ||
| 93 | font-family: monospace; | ||
| 94 | } | ||
| 95 | |||
| 96 | .dltable th, .dltable td { | ||
| 97 | border: 1px solid black; | ||
| 98 | padding: 3px; | ||
| 99 | } | ||
| 100 | |||
| 101 | .subtitle { | ||
| 102 | text-align: center; | ||
| 103 | font-weight: bold; | ||
| 104 | font-size: 1.1em; | ||
| 105 | } | ||
