Boolean function optimizer package for Python

I'd like to define a boolean function (with n inputs and m outputs) in a tabular form. I'd like to find an optimal boolean expression which implements the function. Optimal here means that, implementing it in hardware would require as few possible gates (with maybe each gate having different costs)

I'm sure VHDL/Verilog synthesizers do this optimization frequently, and I basically need it for the same reason. Is there some kind of Karnaugh solver? Alternatively, is it possible to specify the problem as a classic optimization problem (SAT, integer programming)? I'd like to implement it in Python so I'm primarily looking for a package which does this already.