module.make 227 Bytes
Newer Older
1 2 3 4 5 6 7
SRC +=  src/sat/bsat2/AbcApi.cpp \
    src/sat/bsat2/MainSat.cpp \
    src/sat/bsat2/MainSimp.cpp \
    src/sat/bsat2/Options.cpp \
    src/sat/bsat2/SimpSolver.cpp \
    src/sat/bsat2/Solver.cpp \
    src/sat/bsat2/System.cpp