The installers include the executable file, documentation and the verification suite. The test suites include a collection of over 100 verification problems and a collection of larger example problems. The source code is also available as a separate download. The most recent version is the stable version.
If you’ve logged in but cannot see the download links please click the ‘refresh’ button on your browser.