esbmc/esbmc
src/solvers/boolector/CMakeLists.txt
:47
find_package(Boolector REQUIRED HINTS ${Boolector_DIR}/lib/cmake
$ENV{HOME}/boolector)
cmake Boolector examples