The implementations have been upgraded to 64 bit from the previous 32 bit versions. The old versions are still available.
The available files are for:
64 bit dynamically
linked If you don't know which version you need, use this one. It is
reported that this version works on new Intel Chromebooks.
64 bit statically linked It is reported that this also works on older
Intel Chromebooks.
32 bit dynamically linked
The sources are also available. For help with porting them there is a Porting document.
Many thanks to University of Delft students Alexandra Gâlmeanu, Bauke Limburg, Boldi Koller, Malou van Elburg and Mateusz Gilowski for their work in updating the sources!
Last modified: 2026-07-06: steven.pemberton@cwi.nl