SRC +=  src/sat/asat/added.c \
    src/sat/asat/asatmem.c \
    src/sat/asat/jfront.c \
    src/sat/asat/solver.c