bin/cvc5
include/cvc5/c/cvc5.h
include/cvc5/c/cvc5_parser.h
include/cvc5/cvc5.h
include/cvc5/cvc5_export.h
include/cvc5/cvc5_kind.h
include/cvc5/cvc5_parser.h
include/cvc5/cvc5_proof_rule.h
include/cvc5/cvc5_skolem_id.h
include/cvc5/cvc5_types.h
lib/cmake/cvc5/cvc5Config.cmake
lib/cmake/cvc5/cvc5ConfigVersion.cmake
lib/cmake/cvc5/cvc5Targets-%%CMAKE_BUILD_TYPE%%.cmake
lib/cmake/cvc5/cvc5Targets.cmake
lib/libcvc5.so
lib/libcvc5.so.1
%%JAVA%%lib/libcvc5jni.so
lib/libcvc5parser.so
lib/libcvc5parser.so.1
%%JAVA%%%%JAVASHAREDIR%%/cvc5-%%VERSION%%.jar
%%JAVA%%%%JAVASHAREDIR%%/cvc5.jar