SRC +=  src/misc/espresso/cofactor.c \
	src/misc/espresso/cols.c \
	src/misc/espresso/compl.c \
	src/misc/espresso/contain.c \
	src/misc/espresso/cubehack.c \
	src/misc/espresso/cubestr.c \
	src/misc/espresso/cvrin.c \
	src/misc/espresso/cvrm.c \
	src/misc/espresso/cvrmisc.c \
	src/misc/espresso/cvrout.c \
	src/misc/espresso/dominate.c \
	src/misc/espresso/equiv.c \
	src/misc/espresso/espresso.c \
	src/misc/espresso/essen.c \
	src/misc/espresso/exact.c \
	src/misc/espresso/expand.c \
	src/misc/espresso/gasp.c \
	src/misc/espresso/gimpel.c \
	src/misc/espresso/globals.c \
	src/misc/espresso/hack.c \
	src/misc/espresso/indep.c \
	src/misc/espresso/irred.c \
	src/misc/espresso/map.c \
	src/misc/espresso/matrix.c \
	src/misc/espresso/mincov.c \
	src/misc/espresso/opo.c \
	src/misc/espresso/pair.c \
	src/misc/espresso/part.c \
	src/misc/espresso/primes.c \
	src/misc/espresso/reduce.c \
	src/misc/espresso/rows.c \
	src/misc/espresso/set.c \
	src/misc/espresso/setc.c \
	src/misc/espresso/sharp.c \
	src/misc/espresso/sminterf.c \
	src/misc/espresso/solution.c \
	src/misc/espresso/sparse.c \
	src/misc/espresso/unate.c \
	src/misc/espresso/verify.c
