Hi, you should be able to unpack the .tar.gz file and run smallestquest. You can do that by double-clicking it or on the command line you can do ./smallestquest. Let me know if it works for you.
Ok, thank you! I figure what file. Now I am on ARM linux (raspberry) and so I wait for return to my AMD setup. In case you want to experiment ;-) an ARM64 version would be very popular :-)
