add_executable(generate_exhaustively
    generate_exhaustively.cpp
)
target_link_libraries(generate_exhaustively dlplangenerator dlplancore)
