bin/boolector
bin/btormc
include/boolector/boolector.h
include/boolector/btortypes.h
lib/cmake/Boolector/BoolectorConfig.cmake
lib/cmake/Boolector/BoolectorConfigVersion.cmake
lib/cmake/Boolector/BoolectorTargets-%%CMAKE_BUILD_TYPE%%.cmake
lib/cmake/Boolector/BoolectorTargets.cmake
lib/libboolector.so