Spin Precompiled Executables


Current Version 6.2.7 (2 March 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 DFS, or BFS mode, or see this page.
For alternative methods in dealing with large statespaces, see also swarm.


Other:

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 found here.
Last updated: 4 May 2013