Manual
System requirements:
- Windows XP or newer
- Microsoft Visual C++ 2010 Redistributable Package (x86)
Supported input and output format: PLA
Command line syntax:
ttmin input output [depth]
Parameter description:
Input file must be in a PLA format.
The depth parameter
determines, how deep will the redundancy check step go, so the value should
be a number between 0 and number of inputs of the source PLA (default value
is 3). Values above 6 have only small impact on the result quality however.
By setting the depth parameter to 0, only the basic fast minimization will
be performed, yielding a non-prime cover, but skipping the more complex
steps of the algorithm (useful especially in cases where the off-set is too
hard to compute).