Spin Precompiled Executables
Current Version 6.4.3 (16 December 2014):
Gunzip and rename the executable to spin after downloading and place it
in /bin, /usr/bin, /usr/local/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 on a Windows PC is to install
it from cygwin.
Full installation instructions for Spin itself on various platforms can be
Last updated: 23 November 2014