%FILES%
usr/
usr/bin/
usr/bin/cryptominisat5
usr/include/
usr/include/cryptominisat5/
usr/include/cryptominisat5/cryptominisat.h
usr/include/cryptominisat5/cryptominisat_c.h
usr/include/cryptominisat5/dimacsparser.h
usr/include/cryptominisat5/mpicosat.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.13
usr/lib/python3.14/
usr/lib/python3.14/site-packages/
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/METADATA
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/RECORD
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/WHEEL
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/licenses/
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/licenses/AUTHORS
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/licenses/LICENSE.txt
usr/lib/python3.14/site-packages/pycryptosat-5.13.0.dist-info/top_level.txt
usr/lib/python3.14/site-packages/pycryptosat.cpython-314-x86_64-linux-gnu.so
usr/share/
usr/share/licenses/
usr/share/licenses/cryptominisat/
usr/share/licenses/cryptominisat/LICENSE
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/cryptominisat5.1.gz
