LUT truth table to schematic converter

[drom]

The goal is to take truth table of the n-input Boolean lookup table and render the most compact and readable schematic representation of it.

The are several graphical symbols can be used: AND, OR, NOT, XOR, MUX, Adder, wire, constant...

There are several optimization criteria can be used including, overall size of schematic, number of layers, number of logic elements,...