Пакет оптимизатора логических функций для Python ⇐ Python

[Anonymous]

Я хотел бы определить логическую функцию (с n входами и m выходами) в табличной форме. Я хотел бы найти оптимальное логическое выражение, реализующее эту функцию. Оптимальное здесь означает, что для аппаратной реализации потребуется как можно меньше вентилей (возможно, каждый вентиль будет иметь разную стоимость)

Я уверен, что синтезаторы VHDL/Verilog делают такую ​​оптимизацию. часто, и мне это нужно по той же причине. Есть ли какой-нибудь решатель Карно? Альтернативно, можно ли определить проблему как классическую задачу оптимизации (SAT, целочисленное программирование)? Я хотел бы реализовать это на Python, поэтому в первую очередь ищу пакет, который уже это делает.

Подробнее здесь: https://stackoverflow.com/questions/592 ... for-python