| 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 |
| hashlookup:parent-total | 31 |
| hashlookup:trust | 100 |
The searched file hash is included in 31 parent files which include package known and seen by metalookup. A sample is included below:
| 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 | 18664 |
| MD5 | 92E906956D555502BE36A5987A82806D |
| 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 | 13B6DD34E2FBE26A5B2A6D4B506FD6F8B5544201 |
| SHA-256 | 33ADD66A09CA8F4C168EB18DD0E58CD4AA7EC287D116A97C867F9AEBF39A0A83 |
| 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 |
|---|---|
| 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 | 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 | 17840 |
| MD5 | 76D93029537CECE894D8A42808DD78D9 |
| 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+b1 |
| SHA-1 | 241CDB2E248DEF901DB0B0108BF9639D68B48CE0 |
| SHA-256 | 58E33177CC3DEBAF18EFE6A07D5A22910B26A977544F2924CFCEC5B5ABDBD0DF |
| Key | Value |
|---|---|
| FileSize | 19860 |
| MD5 | C206E6647D23B8ED6857A6C5401E13C4 |
| 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+b1 |
| SHA-1 | 36DB0CF2BE20F6FED180199D5F7655151F4002A0 |
| SHA-256 | F42F57B3D3023298762D7106DB1BECD25BEB6CA607A568DDF651B263D5E401ED |
| Key | Value |
|---|---|
| FileSize | 18004 |
| MD5 | D1D96B40B8421688D7148C7DFE101F14 |
| 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+b2 |
| SHA-1 | 3794D8A694FB741A3A32302843C3F3183625A0A0 |
| SHA-256 | 865ADE45D4F29903DFB83DCD1D6FD4D5D82C75B993019A6D4AD67BAA2C785574 |
| 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 | 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 |