Add a tool to partition a large test case.

Pull out the specific cases that are currently unsolved to allow easier
iterative testing of the solver.
This commit is contained in:
Drew Galbraith 2023-05-04 00:38:05 -07:00
parent dc3f23d111
commit 0e482fcf4b
5 changed files with 1000408 additions and 2 deletions

View file

@ -16,3 +16,6 @@ target_include_directories(solver PUBLIC "${PROJECT_SOURCE_DIR}")
add_executable(test_solver solver.cpp)
target_link_libraries(test_solver PUBLIC solver)
add_executable(test_case_partition test_case_partition.cpp)
target_link_libraries(test_case_partition PUBLIC solver)