What it does
Give it a truth table in PLA format and it minimizes each output to a compact sum-of-products expression. It has two engines: exact Quine-McCluskey, and a heuristic Espresso that runs several passes for better results on larger inputs.
Size
785 lines of code.
