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