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. 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)


Other:

Links:
Some related packages for the PC: 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?