Key | Value |
---|---|
FileName | ./usr/lib64/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info |
FileSize | 6179 |
MD5 | 235F5EBACA5D1D4D069F28AE30F026BA |
SHA-1 | 78367E0F0BB1CD93844A9DB3ADD5B9BE855CF3CB |
SHA-256 | 9646393D7ACA146920E8EEFE574A4DC9D18416464A21996600BAD394B10E6F50 |
SSDEEP | 96:DQCHEab8F8VN5UGAoWj2NoD/g7hs5pvRBmSlLcXvzvPlXEG05+KQImaI:7xaJKWj3D/gtMBblLcXjPlXEF52R |
TLSH | T1F9D1D81654C47EFC06E254B174DEE2C6472081AF1A491E1879FD902C3F57FA0A6BE1BE |
hashlookup:parent-total | 13 |
hashlookup:trust | 100 |
The searched file hash is included in 13 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 5A8B008061DE8BD96FF2EC64CF669D7C |
PackageArch | aarch64 |
PackageDescription | Python 3 interface to cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | python3-cryptominisat |
PackageRelease | 4.fc33 |
PackageVersion | 5.7.1 |
SHA-1 | 0784F52C56C16DFAFCC637CE394330292C1B2999 |
SHA-256 | E9DA59DFB93646019CF4D33C9A89C36E945A46F38EAEC9DFF6FF527EA66A3BFD |
Key | Value |
---|---|
FileSize | 19056 |
MD5 | A3F48A2C6C5A49639BEF340B2E0875D6 |
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.7.1+dfsg1-1+b1 |
SHA-1 | 14B848B04E81E1B97C25D0F5035DC1E899797A69 |
SHA-256 | 5E5B7AD2558177F2BB58D30D668EF44531CDD4035CCFDAE88E62F1CD49565A25 |
Key | Value |
---|---|
MD5 | 43E92416545AF55CE35C5199F4AF415A |
PackageArch | x86_64 |
PackageDescription | Python 3 interface to cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | python3-cryptominisat |
PackageRelease | 4.fc33 |
PackageVersion | 5.7.1 |
SHA-1 | 5A98480A519A19B231BFB0BA196BB6B734B0E766 |
SHA-256 | BF95DFFFE835F5D5A8EDA79EE03646EAA4E0CFDA945CB536E4C52678B48DEE28 |
Key | Value |
---|---|
FileSize | 17780 |
MD5 | 6F6FA4717DCEE1B9B19453D26ABEC69D |
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.7.1+dfsg1-1+b1 |
SHA-1 | FB4A6289B3465B9EA463659F2355D9C0C98E5BD5 |
SHA-256 | CCC69410C02057EF5BBDF8D46EE8F0E8D6E88591D492B32770D18CAB9F33D12F |
Key | Value |
---|---|
FileSize | 19808 |
MD5 | 0650AF17079EB46D981322757A360BFB |
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.7.1+dfsg1-1+b1 |
SHA-1 | AA984D59BEC8134923E5E2F3FE1BE4FE77C65808 |
SHA-256 | 836F6C92AE2F453C73D4AE84BC1EFF60743C5496D7444CD30BEA5D40EF50080B |
Key | Value |
---|---|
MD5 | 7AA5538E72D79423B4514FF98F9E3B1C |
PackageArch | armv7hl |
PackageDescription | Python 3 interface to cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | python3-cryptominisat |
PackageRelease | 4.fc33 |
PackageVersion | 5.7.1 |
SHA-1 | 18C0E78A4EEE8A4E2587DE002232190594444A7A |
SHA-256 | 17F3A642B25EF63BBEA3CA1726D8336ADEA5C15391AD243C798E38A7DDC00DC7 |
Key | Value |
---|---|
FileSize | 18716 |
MD5 | D7A0B1B89953A114C0638BF4361D3DFB |
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.7.1+dfsg1-1+b1 |
SHA-1 | 962A46C94832588CD2107A93AC17EF20BF079E55 |
SHA-256 | 99EDF16499493F9B14816A74A23F9F90E60C16B1FEB63EE6024B272983D362C2 |
Key | Value |
---|---|
FileSize | 19812 |
MD5 | 0E0E448DFF6C1E30D0E2AD2386503157 |
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.7.1+dfsg1-1+b2 |
SHA-1 | 1A3014E34EC973051610FB7DE4CAD64F9DC938A3 |
SHA-256 | BB91ABF88F70752B78AC7CF8CF3F3EDB1A54E7A01E16A2145E8E553FCFC19143 |
Key | Value |
---|---|
FileSize | 17792 |
MD5 | 8E31A3763645DEEB36686199D4C9F8CE |
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.7.1+dfsg1-1+b2 |
SHA-1 | 196B013C7A98B0DA601256CCE58CC87BC6B5DA69 |
SHA-256 | 58357C1C7261C4FF037063AF4969E2D757773434643DAAD4DBCF51DBED18CBAF |
Key | Value |
---|---|
FileSize | 17824 |
MD5 | BBE9BDC7EABF39826E3393C67374BD83 |
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.7.1+dfsg1-1+b2 |
SHA-1 | 4BB17172645FBE42EF83EECF0A51F4FB6616C46F |
SHA-256 | 8EC08E0BA02EE841F1ACDE5D39C47B2D89412E566EF1990E921BD306F0F59EA7 |
Key | Value |
---|---|
FileSize | 17828 |
MD5 | EFA4C24D137310FA1EF24595BC23B184 |
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.7.1+dfsg1-1+b1 |
SHA-1 | 382E78443CBCF304496DBC4FE05575673279A6BA |
SHA-256 | A0CAC1024D24E780A391D7D6E072B58A8405BF923D5AAE9210D190E7579F1AF1 |
Key | Value |
---|---|
FileSize | 18728 |
MD5 | AE32BCE541BC76F0E04EAAE1F1A35693 |
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.7.1+dfsg1-1+b2 |
SHA-1 | 0D68912F4515C568D3B40A994BEFCEE499D9E388 |
SHA-256 | 0D883CDDB004471DDE56F8270665415DC2C10FB68B44643392C75B56FA64E061 |
Key | Value |
---|---|
FileSize | 19072 |
MD5 | A5229E9D28A0093B4A567488D5AD51DA |
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.7.1+dfsg1-1+b2 |
SHA-1 | C6B570B3637680E61D2D9324168E53A138D12713 |
SHA-256 | C7101C12236BF4AD2D85D6E01B2E135A03A104758CD93E10E9FC3D8A06D56F82 |