cmake find_package(BITWUZLA) examples

JonathanSalwan/Triton CMakeLists.txt :172 

find_package(BITWUZLA REQUIRED)