Support for external don't cares

[lee30sonia]

• dont_care_view: A view holding and managing external don't care conditions
• Adaptations in circuit_validator, observability_dont_cares, partial_simulator, pattern_generation, and sim_resub to consider external don't cares
• Added alternative implementation of equivalence checking using bill instead of percy (equivalence_checking_bill), which supports external don't cares
• Updates kitty

[codecov-commenter]

Codecov Report

Merging #585 (ce68332) into master (7a0f512) will increase coverage by 0.19%. The diff coverage is 90.03%.

@@            Coverage Diff             @@
##           master     #585      +/-   ##
==========================================
+ Coverage   83.05%   83.25%   +0.19%     
==========================================
  Files         164      165       +1     
  Lines       21178    21508     +330     
==========================================
+ Hits        17589    17906     +317     
- Misses       3589     3602      +13     

Impacted Files	Coverage Δ
include/mockturtle/utils/window_utils.hpp	93.67% <ø> (ø)
...clude/mockturtle/algorithms/pattern_generation.hpp	66.24% <50.00%> (-0.21%)	:arrow_down:
include/mockturtle/algorithms/cnf.hpp	62.22% <57.14%> (-1.85%)	:arrow_down:
...ude/mockturtle/algorithms/equivalence_checking.hpp	74.02% <71.42%> (-3.12%)	:arrow_down:
...nclude/mockturtle/algorithms/circuit_validator.hpp	88.29% <85.10%> (+2.91%)	:arrow_up:
include/mockturtle/algorithms/dont_cares.hpp	93.49% <94.44%> (+0.03%)	:arrow_up:
include/mockturtle/views/dont_care_view.hpp	98.56% <98.56%> (ø)
include/mockturtle/algorithms/miter.hpp	93.75% <100.00%> (+0.89%)	:arrow_up:
include/mockturtle/algorithms/resubstitution.hpp	79.91% <100.00%> (+0.27%)	:arrow_up:
include/mockturtle/algorithms/sim_resub.hpp	62.90% <100.00%> (+5.00%)	:arrow_up:
... and 15 more

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