target_sources(tsolvers
    PUBLIC "${CMAKE_CURRENT_LIST_DIR}/LASolver.h"
    PUBLIC "${CMAKE_CURRENT_LIST_DIR}/Simplex.h"
    PUBLIC "${CMAKE_CURRENT_LIST_DIR}/Matrix.h"
    PUBLIC "${CMAKE_CURRENT_LIST_DIR}/LIAInterpolator.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LAVar.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LAVarMapper.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Tableau.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LABounds.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Delta.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LAVar.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Polynomial.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Tableau.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LAVarMapper.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LARefs.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LABounds.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LRAModel.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LRAModel.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Delta.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LASolver.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Simplex.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/FarkasInterpolator.h"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/FarkasInterpolator.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/Matrix.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/SparseMatrix.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/LIAInterpolator.cc"
    PRIVATE "${CMAKE_CURRENT_LIST_DIR}/CutCreator.cc"
    )

option(SIMPLEX_DEBUG "Deeper debugging of Simplex" OFF)

if (SIMPLEX_DEBUG)
    add_definitions(-DSIMPLEX_DEBUG)
endif (SIMPLEX_DEBUG)


