search

msoeken / kitty

C++ truth table library
MIT License
49 stars 77 forks source link

Relevance property for mig_resub #117

Closed lee30sonia closed 3 years ago

lee30sonia commented 3 years ago

This method was placed in mockturtle/mig_resub under namespace kitty. I think it makes more sense to move them directly into kitty.

lee30sonia commented 3 years ago

Still decided to keep it in mockturtle in the end!