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

add_subdirectory(storage)
add_subdirectory(jani)
add_subdirectory(sat)
add_subdirectory(nnsat)
add_subdirectory(sat_ic3)
add_subdirectory(lipa)
