search

nbulsi / also

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

img expression to network #27

Closed zfchu closed 4 years ago

zfchu commented 4 years ago

load 07; exact_imply; write_dot -i