Realistic AQFP technology constraints

[lee30sonia]

• aqfp_assumptions_realistic: More realistic constraint assumptions according to the technology
• Redesign of the inner data structures and adjustments in the interfaces of buffer_insertion to better support the realistic constraints.
• Adapted buffer_verification
• Draw buffers and splitters in write_dot

[codecov-commenter]

Codecov Report

Merging #614 (be0b14e) into master (2130e72) will increase coverage by 1.05%. The diff coverage is 83.30%.

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##           master     #614      +/-   ##
==========================================
+ Coverage   83.13%   84.18%   +1.05%     
==========================================
  Files         178      178              
  Lines       24368    24168     -200     
==========================================
+ Hits        20258    20346      +88     
+ Misses       4110     3822     -288     

Impacted Files	Coverage Δ
include/mockturtle/io/write_dot.hpp	98.03% <ø> (ø)
include/mockturtle/networks/buffered.hpp	88.09% <ø> (+1.25%)	:arrow_up:
...de/mockturtle/algorithms/aqfp/aqfp_assumptions.hpp	73.33% <73.33%> (ø)
...de/mockturtle/algorithms/aqfp/buffer_insertion.hpp	85.96% <81.06%> (+5.81%)	:arrow_up:
...mockturtle/algorithms/aqfp/buffer_verification.hpp	97.14% <96.82%> (-2.86%)	:arrow_down:
...nclude/mockturtle/algorithms/aqfp/aqfp_rebuild.hpp	85.71% <100.00%> (+4.66%)	:arrow_up:
...clude/mockturtle/algorithms/aqfp/aqfp_retiming.hpp	77.99% <100.00%> (ø)

... and 4 files with indirect coverage changes