KOJAK 2.0 beta includes a faster analysis component and produces output for the CUBE display. It is based on an optimized search strategy taking advantage of specialization relationships between execution patterns and, thus, provides a
significant runtime improvement over the old version. Additional speedup comes from the fact that it is now implemented in C++ and no longer in
Python. For more information please visit the download page.