Logic synthesis

E-Syn and E-morphic
E-graph for logic optimization.
PDF Code