5nizza / aisy

AIGER based synthesizer using BDDs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

5nizza/aisy Stargazers