SRC +=  src/sat/satoko/solver.c \
    src/sat/satoko/solver_api.c \
    src/sat/satoko/cnf_reader.c