GenYsis Toolbox binaries are available for the following platforms: Windows Linux (32 bits)
After downloading and extracting the linux distribution, execute the following two commands in the 'genYsis_linux' directory:
chmod +x boolSim
chmod +x genYsis
