esbmc/esbmc
src/solvers/cvc5/CMakeLists.txt
:18
find_package(cvc5 REQUIRED
HINTS ${CVC5_DIR}/lib/cmake ${CVC5_DIR}/lib64/cmake $ENV{HOME}/cvc5)
cmake cvc5 examples
cmake cvc5 examples
esbmc/esbmc
src/solvers/cvc5/CMakeLists.txt
:18
find_package(cvc5 REQUIRED
HINTS ${CVC5_DIR}/lib/cmake ${CVC5_DIR}/lib64/cmake $ENV{HOME}/cvc5)