`Spin Precompiled Executables`

`Current Version 6.2.5 (4 May 2013):`

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.

Linux executable 64-bit: spin625_linux64.gz (314K)
Linux executable 32-bit: spin625_linux32.gz (299K)
Windows 32-bit executable: spin625.exe.gz (370K)

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:

Spin homepage: http://spinroot.com/
Spin Sources: ../Src/index.html
Documentation for use of embedded C code: spin4_ch17.pdf
Spin update history:

The recommended way to get gcc on a 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