Siang-Yun (Sonia) Lee

Updates in resynthesis engines + various supports for MuxIG

1

- 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...

`substitute_node`: Should it be allowed to substitute with a dead node?

1

The quality test (to be more specific, `"Test quality improvement of MIG cut rewriting with compatibility graph and NPN4 resynthesis"`) does not pass anymore after the fix of #560. This...

I implemented a draft (but not complete -- consideration of inverter cost is missing, and maybe some more details, plus documentation and tests etc. are also missing) during research but...

**Describe the bug** There has been a known bug that `mockturtle/algorithms/akers_synthesis.hpp` produces incorrect results for some functions. **To Reproduce** Failing test case: ```c++ TEST_CASE( "Akers regressions", "[akers_synthesis]" ) { for...