Trabalhos da disciplina de CAD Para Sistemas Digitais - Instituto de Informática da UFRGS
Parser AIG | aig_parser
Equivalência de AIGs usando BDD | aig_wrapper
Equivalência de AIGs usando BDD | sat_parser, sat_wrapper
gumadeiras/inf-cad-para-sistemas-digitais
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|