18 lines
508 B
Text
18 lines
508 B
Text
bin/cvc5
|
|
include/cvc5/cvc5.h
|
|
include/cvc5/cvc5_export.h
|
|
include/cvc5/cvc5_kind.h
|
|
include/cvc5/cvc5_sort_kind.h
|
|
include/cvc5/cvc5_types.h
|
|
lib/cmake/cvc5/cvc5Config.cmake
|
|
lib/cmake/cvc5/cvc5ConfigVersion.cmake
|
|
lib/cmake/cvc5/cvc5JavaTargets.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-1.0.5.jar
|
|
%%JAVA%%%%JAVASHAREDIR%%/cvc5.jar
|