Single cube factoring of logic networks.

lsils / mockturtle

C++ logic network library

MIT License

210 stars 139 forks source link

Closed boschmitt closed 2 years ago

boschmitt commented 2 years ago

This PR depends on #522 and #523. It will remain as a draft util both are merged. The tests will inevitably fail.

lee30sonia commented 2 years ago

@boschmitt What is the status of this PR? Will you finish it or should I close it?

boschmitt commented 2 years ago

Now that the other PRs were merged. I can finish it.