Updates in resynthesis engines + various supports for MuxIG

[lee30sonia]

• Heuristic resynthesis engine for MuxIG (mux_resyn)
• Supports MUX in circuit_validator
• Added muxig_index_list
• Verilog I/O for MuxIGs
• Fix substitution in MuxIG
• SAT-based exact_resynthesis wrapper (uses percy) in the experimental namespace --- Added for experiment purpose, so the translation into index list is still not supported.
• dump_resyn to dump into .resyn format (can be used as a resynthesis engine in resubstitution frameworks)
• Fixes in various resynthesis engines

TODO:

• [ ] Add tests
• [x] Port updates in lorina and percy to respective repos

[codecov-commenter]

Codecov Report

Merging #575 (e2e97e0) into master (1670606) will increase coverage by 0.10%. The diff coverage is 85.41%.

@@            Coverage Diff             @@
##           master     #575      +/-   ##
==========================================
+ Coverage   83.00%   83.11%   +0.10%     
==========================================
  Files         156      160       +4     
  Lines       19154    19805     +651     
==========================================
+ Hits        15898    16460     +562     
- Misses       3256     3345      +89     

Impacted Files	Coverage Δ
...nclude/mockturtle/algorithms/circuit_validator.hpp	85.38% <0.00%> (-2.02%)	:arrow_down:
...e/algorithms/experimental/boolean_optimization.hpp	63.46% <ø> (+1.19%)	:arrow_up:
include/mockturtle/io/verilog_reader.hpp	73.56% <0.00%> (-4.47%)	:arrow_down:
include/mockturtle/io/write_verilog.hpp	82.05% <0.00%> (-5.62%)	:arrow_down:
include/mockturtle/utils/index_list.hpp	93.47% <ø> (+0.08%)	:arrow_up:
...e/mockturtle/algorithms/node_resynthesis/exact.hpp	64.66% <50.00%> (-0.12%)	:arrow_down:
include/mockturtle/views/fanout_view.hpp	97.84% <50.00%> (-2.16%)	:arrow_down:
...ockturtle/algorithms/experimental/window_resub.hpp	66.91% <65.21%> (-2.32%)	:arrow_down:
include/mockturtle/networks/tig.hpp	95.18% <95.18%> (ø)
include/mockturtle/networks/muxig.hpp	96.55% <96.55%> (ø)
... and 10 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.