INF01205 - CAD Para Sistemas Digitais Trabalhos da disciplina de CAD Para Sistemas Digitais - Instituto de Informática da UFRGS 2017-2 Trabalho 1 Parser AIG | aig_parser Trabalho 2 Equivalência de AIGs usando BDD | aig_wrapper Trabalho 3 Equivalência de AIGs usando BDD | sat_parser, sat_wrapper