add_subdirectory(sampling)
add_subdirectory(search)
add_subdirectory(ic3)

file(GLOB SRCS "*.cpp")
if(SRCS)
    target_sources(${POLICE_LIB} PRIVATE ${SRCS})
endif()

