AIG

aig decomposition of circuits to perform cut enumeration in order to determine functionally equivalent subcircuits

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
circuits		circuits
LICENSE		LICENSE
README.md		README.md
aig.cpp		aig.cpp
aig.hpp		aig.hpp
aig.o		aig.o
cutenumeration.cpp		cutenumeration.cpp
cutenumeration.hpp		cutenumeration.hpp
graph.cpp		graph.cpp
graph.hpp		graph.hpp
graph.o		graph.o
main.cpp		main.cpp
main.o		main.o
makefile		makefile
vertex.hpp		vertex.hpp
xfpgenius		xfpgenius

Provide feedback