sat-solver/srclist.mk

10 lines
240 B
Makefile

srcs += ./automata.cpp
srcs += ./build_automata.cpp
srcs += ./cmdln_flags.cpp
srcs += ./find_solution.cpp
srcs += ./main.cpp
srcs += ./parse.cpp
srcs += ./print.cpp
srcs += ./problem.cpp
srcs += ./solution.cpp
srcs += ./verify_solution.cpp