`Spin Precompiled Executables`

`Current Version 6.2.1 (14 May 2012):`

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.

Windows PC 32-bit Spin executable: spin621.exe (771K current)
Linux Spin executable 32bit version: spin621_linux (766K current)
Linux Spin executable 64bit version: spin621_linux64 (848 current)

For usage of Spin's multi-core algorithms, see: V5_Readme.html (dfs), or bfs.html (bfs).
For alternative methods in dealing with large statespaces, see also the Swarm page.
Swarm version 2.0 relies on extensions added in Spin 5.2.

`Old (Outdated and Unsupported) Version 4.3.0 (22 June 2007)`

Windows PC Spin executable: spin430.exe (508K old)
Linux Spin executable 32bit version: spin430_linux (614K old)
Linux Spin executable 64bit version: spin430_linux64 (712K old)

Other:

Documentation for use of embedded C code in Version 4: spin4_ch17.pdf
Specific usage information for the multi-core options in Version 5: V5_Readme.html
Performance data for the new Version 5: index.html
General Spin Update history, since 1991:

Links:

Spin Sources: ../Src/index.html

Some related packages for the PC:

cygwin1.dll (1.7 Mb)if you have cygwin installed, you already have a more recent version of this
cpp.exe precompiled C-preprocessor for Windows PCs

None of these are needed if you already have a standard C compiler (such as gcc) installed on your system.
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 in README.html.

What is Spin?