esbmc/esbmc
src/solvers/cvc4/CMakeLists.txt
:32
find_package(CVC4 REQUIRED
HINTS ${CVC4_DIR}/lib/cmake/CVC4 $ENV{HOME}/cvc4)
cmake CVC4 examples
cmake CVC4 examples
esbmc/esbmc
src/solvers/cvc4/CMakeLists.txt
:32
find_package(CVC4 REQUIRED
HINTS ${CVC4_DIR}/lib/cmake/CVC4 $ENV{HOME}/cvc4)