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.
Other:
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