add_executable(smart_table_random smart_table_random.cc)
target_link_libraries(smart_table_random PUBLIC glasgow_constraint_solver)

find_package(Boost 1.74 COMPONENTS program_options REQUIRED)
include_directories(${Boost_INCLUDE_DIR})
target_link_libraries(smart_table_random LINK_PUBLIC ${Boost_LIBRARIES})

add_test(NAME smart_table_random COMMAND $<TARGET_FILE:smart_table_random>)