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 whch version you need, use this one)
64 bit statically linked
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-04: steven.pemberton@cwi.nl