espresso.make

主要进行大规模的电路综合

CSRC += cofactor.c cvrm.c essen.c hack.c primes.c sminterf.c \
	compl.c cvrmisc.c exact.c irred.c reduce.c sparse.c \
	contain.c cvrout.c expand.c map.c set.c unate.c \
	cubestr.c equiv.c gasp.c opo.c setc.c verify.c \
	cvrin.c espresso.c globals.c pair.c sharp.c

HEADERS += sis.h espresso.h
DEPENDENCYFILES = $(CSRC)