bin/cryptominisat4
bin/cryptominisat4_simple
include/cryptominisat4/cryptominisat.h
include/cryptominisat4/solvertypesmini.h
lib/cmake/cryptominisat4/cryptominisat4Config.cmake
lib/cmake/cryptominisat4/cryptominisat4Targets-%%CMAKE_BUILD_TYPE%%.cmake
lib/cmake/cryptominisat4/cryptominisat4Targets.cmake
lib/libcryptominisat4.a
lib/libcryptominisat4.so
lib/libcryptominisat4.so.4.5
