SPIN Documentation
This page contains documentation about how to use SPIN on basic information about the algorithms. If something is missing please register for an account and help out by adding it, or contact Jing Jiang or Emil Pacurar. To get the latest version of SPIN and to report any bugs please visit our Mantis bug tracker.