target_sources(tsolvers
PRIVATE "${CMAKE_CURRENT_LIST_DIR}/BVSolver.cc"
PRIVATE "${CMAKE_CURRENT_LIST_DIR}/BVStore.cc"
PRIVATE "${CMAKE_CURRENT_LIST_DIR}/BitBlaster.cc"
PRIVATE "${CMAKE_CURRENT_LIST_DIR}/BVSolver.cc"
PUBLIC "${CMAKE_CURRENT_LIST_DIR}/BVSolver.h"
PUBLIC "${CMAKE_CURRENT_LIST_DIR}/BVStore.h"
PUBLIC "${CMAKE_CURRENT_LIST_DIR}/BitBlaster.h"
PUBLIC "${CMAKE_CURRENT_LIST_DIR}/Bvector.h"
)

install(FILES 
${CMAKE_CURRENT_LIST_DIR}/BitBlaster.h
${CMAKE_CURRENT_LIST_DIR}/BVStore.h
${CMAKE_CURRENT_LIST_DIR}/Bvector.h
DESTINATION ${INSTALL_HEADERS_DIR})

