Fast CEC

[Nozidoali]

Apply rewriting and functional reduction in miter sat solver.

[codecov-commenter]

Codecov Report

Merging #556 (909d42a) into master (b4566c6) will increase coverage by 0.01%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #556      +/-   ##
==========================================
+ Coverage   82.81%   82.83%   +0.01%     
==========================================
  Files         148      148              
  Lines       18569    18569              
==========================================
+ Hits        15378    15381       +3     
+ Misses       3191     3188       -3     

Impacted Files	Coverage Δ
...nclude/mockturtle/algorithms/dsd_decomposition.hpp	91.54% <0.00%> (+4.22%)	:arrow_up:

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update b4566c6...909d42a. Read the comment docs.

[lee30sonia]

If you intend to have this PR reviewed and merged:

• Why are these in the experimental namespace?
• If the new functional reduction is better than the old one, we can replace it.
• Similarly, if the new CEC is better than the old one, we don't need to keep the old version.
• As usual, please add documentations and unit tests.