@PACKAGE_INIT@

include(${CMAKE_CURRENT_LIST_DIR}/MiniSatTargets.cmake)