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