search

nbulsi / also

A logic synthesis tool
MIT License
67 stars 30 forks source link

remove min number of nodes constraint #42

Closed zfchu closed 3 years ago