Changeset View
Changeset View
Standalone View
Standalone View
head/math/cryptominisat/pkg-plist
| bin/cryptominisat5 | bin/cryptominisat5 | ||||
| bin/cryptominisat5_simple | bin/cryptominisat5_simple | ||||
| include/cryptominisat5/cryptominisat.h | include/cryptominisat5/cryptominisat.h | ||||
| include/cryptominisat5/cryptominisat_c.h | include/cryptominisat5/cryptominisat_c.h | ||||
| include/cryptominisat5/dimacsparser.h | |||||
| include/cryptominisat5/solvertypesmini.h | include/cryptominisat5/solvertypesmini.h | ||||
| include/cryptominisat5/streambuffer.h | |||||
| lib/cmake/cryptominisat5/cryptominisat5Config.cmake | lib/cmake/cryptominisat5/cryptominisat5Config.cmake | ||||
| lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake | lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake | ||||
| lib/cmake/cryptominisat5/cryptominisat5Targets.cmake | lib/cmake/cryptominisat5/cryptominisat5Targets.cmake | ||||
| lib/libcryptominisat5.so | lib/libcryptominisat5.so | ||||
| lib/libcryptominisat5.so.5.0 | lib/libcryptominisat5.so.5.6 | ||||