target_sources(tsolvers
PRIVATE
    "${CMAKE_CURRENT_LIST_DIR}/IDLSolver.h"
    "${CMAKE_CURRENT_LIST_DIR}/RDLSolver.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPSolver.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPStore.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPMapper.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPEdgeGraph.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPGraphManager.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPModel.h"
    "${CMAKE_CURRENT_LIST_DIR}/SafeInt.h"
    "${CMAKE_CURRENT_LIST_DIR}/Converter.h"
    "${CMAKE_CURRENT_LIST_DIR}/STPSolver_implementations.hpp"
    "${CMAKE_CURRENT_LIST_DIR}/STPStore_implementations.hpp"
    "${CMAKE_CURRENT_LIST_DIR}/STPMapper_implementations.hpp"
    "${CMAKE_CURRENT_LIST_DIR}/STPGraphManager_implementations.hpp"
    "${CMAKE_CURRENT_LIST_DIR}/STPModel_implementations.hpp"
    "${CMAKE_CURRENT_LIST_DIR}/STPEdgeGraph.cc"
)
