Key | Value |
---|---|
FileSize | 19152 |
MD5 | BDF80FB8D5B47FF06E813D26C023D3F0 |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b3 |
SHA-1 | B5734D96938AF19FDE1858154ABBEEDCF98109F8 |
SHA-256 | 5135ADF1DA3510E6225A11EA1E09CE3564F71631CF524B519202D690607CFFCD |
hashlookup:children-total | 6 |
hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat-0.2.0.egg-info |
FileSize | 6179 |
MD5 | 48DC76192947542D56C8F1182C5A7EEC |
SHA-1 | E67AA9B80EB9E40BBB8888EDDBC2FB17267AF9EB |
SHA-256 | 3798B27A058C440300794AC4A8D21BCA975B7B03933F0B16285B8DEEAE7262A8 |
SSDEEP | 96:DQYHEab8F8VN5UGAoWj2NoD/g7hs5pvRBmSlLcXvzvPlXEG05+KQImaI:BxaJKWj3D/gtMBblLcXjPlXEF52R |
TLSH | T144D1D81654C47EFC06E254B174DEE2C6472081AF1A491E1879FD902C3F57FA0A6BE1BD |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/README.rst.gz |
FileSize | 2009 |
MD5 | 2FCE39E4975099BE2BA410E9B2D3253C |
SHA-1 | 7B8BA155DB9E981E3B78A048ED9B79F1CD7BFAC7 |
SHA-256 | 4229174C2B709628731FCBF0A2547B03CC24AC0D5A4CFE5B4EB8D150A1241E3F |
SSDEEP | 48:XgxRKJ67irFNH1uST/4tUwzjHTo+vg8rLrvr:s6WirFruugWwzjEwj7 |
TLSH | T107410CC5E3439B59627FB22116B0C2607F25E1E00244D5F7B747448EA5A5B741186072 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
FileSize | 239 |
MD5 | 5E6EF2DBF450947DFAB6FEA44907265D |
SHA-1 | 65CBE83D9664B370813A747CB4A89E8EE0FBDCCF |
SHA-256 | 36E589898A6928E0A7EAB72BCAA763F9B723DAB8586F0CCF8F3A9C0779BA04B9 |
SSDEEP | 3:Fttdng1E3YsPGQDHB9M/jltMVzQQlDAKhCu1Gete396W5R+Klkh30U7n6Sys5/2h:XtRYMqVu1GeO9z59438yLOZn |
TLSH | T1ACD0970E0424A4ADC52038BB642B8509426A3E8CA5AE2740DDBEDB58849FD8B09F200D |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/copyright |
FileSize | 5927 |
MD5 | B465BED9AFD3E99415A13348200C0110 |
SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 678 |
MD5 | A266B6509219AC3598BBE374924A437B |
SHA-1 | 8A7693039669C3ADA08F2DA173A5D3676F2B54AA |
SHA-256 | 5DFDC18EBA52098B716749320AE6A20AEDB285C2FC02623A7EBE713CEC9CADDB |
SSDEEP | 12:XDdR6ieKnGNqnzz13ctEwQpIptdzRSP245ahgjSq0gDRSHTu+DuqtKtsHjCAm24:XDdR6oMkzMEHpINzRSP24E1qTgTFD/s5 |
TLSH | T1AA01834480DB12DC86AC2E7D666A165C32CC85AF06A4285FCEEA8ED3845B22C1FE1584 |
Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat.cpython-39-x86_64-linux-gnu.so |
FileSize | 35928 |
MD5 | 72F21F0C228F0005FD50B320CF743313 |
SHA-1 | EDF2EA064B98FE1CBFC82B598C29CB562F7CAF55 |
SHA-256 | 367C26CBE2B5928CC8B2CEBB6C321CF0D0E09888A0DAE14C44A686271A4A6A2A |
SSDEEP | 384:6e4/osK0rI4Kf1k+0RjbC0Nt9hPHRiUC+cVcMngAvXI/epJLhmmqn8exRb27:63KAJQkJj20f9hdXIxqn9xRb2 |
TLSH | T1F5F21A1BE1C249BFC0E15574848BDAB273B07450D720476B3659AE382E93B68CF1FB69 |