| CARVIEW |
Select Language
HTTP/2 301
date: Tue, 27 Jan 2026 23:05:10 GMT
content-type: text/html; charset=iso-8859-1
location: https://spinroot.com/spin/Bin/
server: cloudflare
x-frame-options: SAMEORIGIN
content-security-policy: frame-ancestors 'self';
cf-cache-status: DYNAMIC
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=s8nzJB4o11LcM6OCXJzXYs6YhUMm9g5KSU1okb6q%2BCiqWSa%2FkyV%2FnwVHBhwyUjJjI7sti5E8872IktyHxta%2BEFMU5Uzm65zN0k8%3D"}]}
cf-ray: 9c4be4a84ed73806-BOM
alt-svc: h3=":443"; ma=86400
HTTP/2 200
date: Tue, 27 Jan 2026 23:05:11 GMT
content-type: text/html
server: cloudflare
x-frame-options: SAMEORIGIN
content-security-policy: frame-ancestors 'self';
last-modified: Tue, 21 Jul 2020 17:11:07 GMT
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=%2FJ8SIXCEuXX3hxOr5QDXwqzuK6X6xDeOyCkAKB1HWgHVonZvssv3bHaYLBdhiiGc6TXUMujRfRgoug8MRY30f3mb%2BnXPdIJ%2FYYQ%3D"}]}
x-content-type-options: nosniff
x-xss-protection: 1; mode=block
cf-cache-status: DYNAMIC
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
content-encoding: gzip
cf-ray: 9c4be4adbf6c3806-BOM
alt-svc: h3=":443"; ma=86400
Starting with Spin version 6.5.0 (July 2019) all executables and sources are distributed at
Spin's GitHub repository: see https://github.com/nimble-code/Spin.
The precompiled Windows executables are compiled with mingw and can also be used separate from cygwin.
Full installation instructions for Spin itself on various platforms can be found here.
Last updated: 21 July 2020
Spin Precompiled Executables
Starting with Spin version 6.5.0 (July 2019) all executables and sources are distributed at
Spin's GitHub repository: see https://github.com/nimble-code/Spin.
Guidance on using Spin's multi-core algorithms can be
found here. For
DFS, or
BFS.
Or see
this page.
For alternative methods in dealing with large statespaces,
see also swarm.
Other:
- Spin homepage: https://spinroot.com/
- Spin Sources: ../Src/index.html
- Documentation for use of embedded C code: spin4_ch17.pdf
- Update history:
The precompiled Windows executables are compiled with mingw and can also be used separate from cygwin.
Full installation instructions for Spin itself on various platforms can be found here.
Last updated: 21 July 2020