module.make 1.67 KB
Newer Older
Alan Mishchenko committed
1 2
SRC +=    src/base/abci/abc.c \
    src/base/abci/abcAttach.c \
Alan Mishchenko committed
3
    src/base/abci/abcAuto.c \
Alan Mishchenko committed
4
    src/base/abci/abcBalance.c \
Alan Mishchenko committed
5
    src/base/abci/abcBmc.c \
Alan Mishchenko committed
6
    src/base/abci/abcCas.c \
Alan Mishchenko committed
7 8
    src/base/abci/abcClpBdd.c \
    src/base/abci/abcClpSop.c \
Alan Mishchenko committed
9
    src/base/abci/abcCut.c \
Alan Mishchenko committed
10
    src/base/abci/abcDar.c \
Alan Mishchenko committed
11
    src/base/abci/abcDebug.c \
Alan Mishchenko committed
12
    src/base/abci/abcDress.c \
Alan Mishchenko committed
13
    src/base/abci/abcDsd.c \
Alan Mishchenko committed
14
    src/base/abci/abcEspresso.c \
Alan Mishchenko committed
15
    src/base/abci/abcExtract.c \
Alan Mishchenko committed
16
    src/base/abci/abcFpga.c \
Alan Mishchenko committed
17
    src/base/abci/abcFpgaFast.c \
Alan Mishchenko committed
18 19
    src/base/abci/abcFraig.c \
        src/base/abci/abcFxu.c \
Alan Mishchenko committed
20
        src/base/abci/abcGen.c \
Alan Mishchenko committed
21
        src/base/abci/abcHaig.c \
Alan Mishchenko committed
22
    src/base/abci/abcIf.c \
Alan Mishchenko committed
23
        src/base/abci/abcIvy.c \
Alan Mishchenko committed
24
    src/base/abci/abcLut.c \
Alan Mishchenko committed
25
    src/base/abci/abcMap.c \
Alan Mishchenko committed
26
    src/base/abci/abcMini.c \
Alan Mishchenko committed
27
    src/base/abci/abcMiter.c \
Alan Mishchenko committed
28
    src/base/abci/abcMulti.c \
Alan Mishchenko committed
29
    src/base/abci/abcNtbdd.c \
Alan Mishchenko committed
30
    src/base/abci/abcOdc.c \
Alan Mishchenko committed
31
    src/base/abci/abcOrder.c \
Alan Mishchenko committed
32
    src/base/abci/abcPart.c \
Alan Mishchenko committed
33
    src/base/abci/abcPlace.c \
Alan Mishchenko committed
34
    src/base/abci/abcPrint.c \
Alan Mishchenko committed
35
    src/base/abci/abcProve.c \
Alan Mishchenko committed
36
    src/base/abci/abcQbf.c \
Alan Mishchenko committed
37
    src/base/abci/abcQuant.c \
Alan Mishchenko committed
38
    src/base/abci/abcRec.c \
Alan Mishchenko committed
39 40 41
    src/base/abci/abcReconv.c \
    src/base/abci/abcRefactor.c \
    src/base/abci/abcRenode.c \
Alan Mishchenko committed
42
    src/base/abci/abcReorder.c \
Alan Mishchenko committed
43 44
    src/base/abci/abcRestruct.c \
    src/base/abci/abcResub.c \
Alan Mishchenko committed
45
    src/base/abci/abcRewrite.c \
Alan Mishchenko committed
46
    src/base/abci/abcRr.c \
Alan Mishchenko committed
47 48 49 50 51
    src/base/abci/abcSat.c \
    src/base/abci/abcStrash.c \
    src/base/abci/abcSweep.c \
    src/base/abci/abcSymm.c \
    src/base/abci/abcTiming.c \
Alan Mishchenko committed
52
    src/base/abci/abcUnate.c \
Alan Mishchenko committed
53
    src/base/abci/abcUnreach.c \
Alan Mishchenko committed
54 55
    src/base/abci/abcVerify.c \
    src/base/abci/abcXsim.c