include(${CMAKE_CURRENT_LIST_DIR}/MiniSat-Targets.cmake)