@PACKAGE_INIT@

if(NOT TARGET CVC4::cvc4)
  include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake)
endif()