module.make 1.24 KB
Newer Older
Alan Mishchenko committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
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