The first (and perhaps only) release of QFMtool. A Linux elf executable, compiled on Ubuntu 17.10 x64 is provided and a Windows executable, compiled on Windows 10 Home, version 1709, x64.
Any user who is interested, is encouraged to build this themselves, and also experiment with the QFM library on the OCaml toplevel, which allows for more finegrained control of the underlying quantifiers and QFMs, and also gives more control over the plotting tools.