This is the version that corresponds to the FSEN 2015 release, and uses the exact tool versions used to generate the parity games that are available for download (see the README for a link).
This is the version that corresponds to the FSEN 2015 release, and uses the exact tool versions used to generate the parity games that are available for download (see the README for a link).