Download

Besides the web interface, mkbTT is available as a bytecode executable for Linux. Alternatively, you can retrieve the sources and compile the tool on your own. You might also want to download the 101 problems used for experiments. For some hints on how to call mkbTT, please check the usage section.

Versions

• version 2.2 (April 2019): binaries 64 bit,
• version 2.1 (October 2014): binaries 32 bit, 64 bit, sources
• version 2.0 (March 2013): binaries 32 bit, 64 bit, sources

Compilation

To compile the sources, extract the .tar.gz archive and run which produces an executable that can be invoked as described in the usage section (see also the included README file).