Updates to mapper

[aletempiac]

• Added binding_view for mapped networks
• Added write_verilog command for mapped networks
• Better support for genlib format: syntax, multiple pin definition, and pin names
• Supergates reader for super files generated by ABC
• Added support for supergates in mapping and library generation
• Moved gates usage report command from mapper to binding_view
• New tests

[codecov-commenter]

Codecov Report

Merging #489 (de3bc6b) into master (2e393c0) will increase coverage by 0.08%.
The diff coverage is 89.75%.

@@            Coverage Diff             @@
##           master     #489      +/-   ##
==========================================
+ Coverage   83.49%   83.58%   +0.08%     
==========================================
  Files         137      140       +3     
  Lines       16260    16622     +362     
==========================================
+ Hits        13577    13894     +317     
- Misses       2683     2728      +45     

Impacted Files	Coverage Δ
include/mockturtle/utils/super_utils.hpp	84.92% <84.92%> (ø)
include/mockturtle/utils/tech_library.hpp	84.26% <85.49%> (-3.70%)	⬇️
include/mockturtle/algorithms/mapper.hpp	84.40% <89.83%> (-0.07%)	⬇️
include/mockturtle/io/write_verilog.hpp	89.65% <93.40%> (+3.04%)	⬆️
include/mockturtle/io/genlib_reader.hpp	100.00% <100.00%> (ø)
include/mockturtle/io/super_reader.hpp	100.00% <100.00%> (ø)
include/mockturtle/views/binding_view.hpp	100.00% <100.00%> (ø)
include/mockturtle/algorithms/cut_enumeration.hpp	81.26% <0.00%> (ø)
...e/mockturtle/algorithms/node_resynthesis/exact.hpp	64.09% <0.00%> (ø)
... and 5 more

---

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 2e393c0...de3bc6b. Read the comment docs.