Hello everybody,
I'm looking for a way to use benchmark circuits in different formats with JavaBDD. With CUDD it was possible to import .blif files and then working with BBD's. Do you have an idea for a solution with JavaBDD.
Log in to post a comment.