Formats 15

The package below contains MoMuT::TA, the example files for the presented studies and scripts for executing the examples. The package works under Windows 64 bit with Java 1.7.

Some of the parameters available in this package (-rem_old, -det_old, -det_disj) are not provided by the current release of MoMuT::TA, as the main release only supports the on-the-fly algorithm. Thus you need to use the version contained in this package for evaluation.

Download the package here: Formats2015