Various minor fixes - Githubissues

lsils / mockturtle

C++ logic network library

MIT License

210 stars 139 forks source link

Various minor fixes #493

Closed lee30sonia closed 3 years ago

lee30sonia commented 3 years ago

missing include in xag_resyn
aiger_reader: do not set PO name if none was given
create needed views for user in window_rewriting