Supported input and output format: PLA
input output [depth]
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).