Spin Precompiled Executables

Current Version 6.4.9 (17 December 2018):

gunzip and rename the executable to spin (or spin.exe on Windows systems) after downloading and
place it in /usr/local/bin, /usr/bin, /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.


The recommended way to get gcc and related Unix tools on a Windows PC is to install cygwin.
Full installation instructions for Spin itself on various platforms can be found here.
Last updated: 17 December 2018