alexanderskulikov/circuit-synthesis

Finding Efficient Circuits Using SAT-solvers

Python