if(POLICE_SAT_IC3)

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

endif()
