Spin Precompiled Executables

Starting with Spin version 6.5.0 (July 2019) all executables and sources are distributed at
Spin's GitHub repository: see https://github.com/nimble-code/Spin.

Guidance on using Spin's multi-core algorithms can be found here. For DFS, or BFS. 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.
The precompiled Windows executables are compiled with mingw and can also be used separate from cygwin.
Full installation instructions for Spin itself on various platforms can be found here.
Last updated: 21 July 2020