Благодарю.
И еще один оптимизатор
BOOM (BOOlean Minimization) https://ddd.fit.cvut.cz/prj/BOOM/
BOOM download pageBOOM (BOOlean Minimization) is a tool for minimizing two-valued Boolean functions. The output is a near-minimal or minimal two-level disjunctive form. The input and output of BOOM is compatible with Berkeley standard PLA format
Может уже кто-то запрашивал исходники и поделится ?The sourcecodes are available upon request.
Должно компиляться и под linux из коробки
https://linux.die.net/man/1/boom





Ответить с цитированием