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