Licensing
License
The State Space Explorer (SpaceEx) consists of three distinct components: The model editor, the web interface, and the core executable. The SpaceEx core is released under the GPLv3, and the source code is available in the download section.
Third-Party Libraries
The SpaceEx core uses the following third-party libraries, to whose authors we are most grateful:
Name | Version | Year | Author(s) |
0.11 | 2011 | R. Bagnara, P. M. Hill, E. Zaffanella | |
1.46.1 | 2011 | (multiple) | |
5.0.2 | 2011 | (multiple) | |
4.45 | 2010 | (multiple) | |
2.5.0 | 2012 | R. Serban, C. Woodward, A. Hindmarsh | |
0.1 | 2010 | (multiple) | |
1.0.2.2 | 2005 | Frederic Devernay | |
2.5.3 | 2007 | Lee Thomason |
