This is the release page for Eddy_SPIN, provided 'as-is' (without support).  It was developed by the Gauss Group of the University of Utah's School of Computing.


Instructions for use can be found in the README file and further details in the informal tech report.


Since this distribution includes a modified version of SPIN from Bell Labs, we must include this required license information, and here is the list of modifications.



  •    The informal tech report




    Last Modified 10/16/06