cryptominisat5 5.11.4-2 File List
Package has 20 files and 15 directories.
- usr/
- usr/bin/
- usr/bin/cryptominisat5
- usr/bin/cryptominisat5_simple
- usr/include/
- usr/include/cryptominisat5/
- usr/include/cryptominisat5/cryptominisat.h
- usr/include/cryptominisat5/cryptominisat_c.h
- usr/include/cryptominisat5/dimacsparser.h
- usr/include/cryptominisat5/solvertypesmini.h
- usr/include/cryptominisat5/streambuffer.h
- usr/lib/
- usr/lib/cmake/
- usr/lib/cmake/cryptominisat5/
- usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
- usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
- usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
- usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
- usr/lib/libcryptominisat5.so
- usr/lib/libcryptominisat5.so.5.11
- usr/lib/python3.10/
- usr/lib/python3.10/site-packages/
- usr/lib/python3.10/site-packages/pycryptosat-5.11.4-py3.10.egg-info/
- usr/lib/python3.10/site-packages/pycryptosat-5.11.4-py3.10.egg-info/PKG-INFO
- usr/lib/python3.10/site-packages/pycryptosat-5.11.4-py3.10.egg-info/SOURCES.txt
- usr/lib/python3.10/site-packages/pycryptosat-5.11.4-py3.10.egg-info/dependency_links.txt
- usr/lib/python3.10/site-packages/pycryptosat-5.11.4-py3.10.egg-info/top_level.txt
- usr/lib/python3.10/site-packages/pycryptosat.cpython-310-x86_64-linux-gnu.so
- usr/share/
- usr/share/licenses/
- usr/share/licenses/cryptominisat5/
- usr/share/licenses/cryptominisat5/LICENSE
- usr/share/man/
- usr/share/man/man1/
- usr/share/man/man1/cryptominisat5.1.gz