Reduction

Header: mockturtle/algorithms/functional_reduction.hpp

The following example shows how to perform functional reduction to remove constant nodes and functionally equivalent nodes in the network.

/* derive some AIG */
aig_network aig = ...;

functional_reduction( aig );