/usr/local/lib/libpoly.so.0
/usr/local/lib/libpoly.so.0.1.11
/usr/local/lib/libpolyxx.so.0
/usr/local/lib/libpolyxx.so.0.1.11
/usr/local/lib/libpoly.so
/usr/local/lib/libpolyxx.so
/usr/local/lib/cmake/cvc5/cvc5Targets.cmake
/usr/local/lib/cmake/cvc5/cvc5Targets-production.cmake
/usr/local/lib/cmake/cvc5/cvc5Config.cmake
/usr/local/lib/cmake/cvc5/cvc5ConfigVersion.cmake
/usr/local/lib/libcvc5.so
/usr/local/include/cvc5/cvc5.h
/usr/local/include/cvc5/cvc5_kind.h
/usr/local/include/cvc5/cvc5_types.h
/usr/local/include/cvc5/cvc5_export.h
/usr/local/lib/libcvc5parser.so.1
/usr/local/lib/libcvc5parser.so
/usr/local/bin/cvc5