CVC4Config.cmake.in « cmake - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

index : cvc5.git

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

git repository hosting

summary refs log tree commit diff

path: root/cmake/CVC4Config.cmake.in

blob: f2eec75c6588d2bf2e014d473919f45497b804b5 (plain)

@PACKAGE_INIT@

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

generated by cgit on debian on lair

contact matthew@masot.net with questions or feedback