Various XMG optimization algorithms

Header: mockturtle/algorithms/xmg_optimization.hpp

inline xmg_network mockturtle::xmg_dont_cares_optimization(xmg_network const &xmg)

Optimizes some MAJ gates using satisfiability don’t cares.

The function is based on xag_dont_cares_optimization in xag_optimization.hpp.

If a MAJ gate is satisfiability don’t care for assignments 000 and 111, it can be replaced by an XNOR gate.