Spin Precompiled Executables
Current Version 6.4.9 (17 December 2018):
gunzip and rename the executable to spin (or spin.exe on Windows systems)
after downloading and
place it in /usr/local/bin, /usr/bin, /bin, or any
other directory within your search path.
Guidance for using Spin's multi-core algorithms, in
For alternative methods in dealing with large statespaces,
see also swarm.
The recommended way to get gcc and related Unix tools
on a Windows PC is to install cygwin.
Full installation instructions for Spin itself on various platforms can be
Last updated: 17 December 2018