| Key | Value |
|---|---|
| FileSize | 484896 |
| MD5 | ABBEB39D0DDBE9E8944166C3568421FD |
| 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.11.2+dfsg1-1+b1 |
| SHA-1 | 6F3B1DA510D233184B57C8F31DBFC6765852493F |
| SHA-256 | 5505B58429F923A2AD8FD4312B303F3F98319074E2777A46630466E1D978DD52 |
| hashlookup:children-total | 21 |
| hashlookup:trust | 50 |
The searched file hash includes 21 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/top_level.txt |
| FileSize | 32 |
| MD5 | A49455C36FF29E8E6E3E62B3A71C31DA |
| SHA-1 | 08A8BCF587C1B3AFEDA6178BAD9AF09B6B636B1E |
| SHA-256 | B28A3AE4956B44CF2E198CE157BF55A297657FC21C843C6108D2725BFF147665 |
| SSDEEP | 3:rTGNGONIV9:H0fNs |
| TLSH |
| Key | Value |
|---|---|
| CRC32 | EBED45FB |
| FileName | usr/include/avro/msstdint.h |
| FileSize | 7728 |
| MD5 | 42E5594CCEE5F8F073E7931141D6E07E |
| OpSystemCode | 362 |
| ProductCode | 220902 |
| RDS:package_id | 303470 |
| SHA-1 | 19FB70159CD20AACE7E7F9912ED6E965CFA4BC60 |
| SHA-256 | 8DA69F8B10C701D1AB71E6F08144C542B6A7FC2F43DB2AD97A9FEC12949479CF |
| SHA-512 | EDBF4315531A2875BC1BEBA88BE395AA0B330CD0AD9E7FB71F116C9622BC176920DC1F43236534C3C01AB55B436371F8DDA2BF1F669AE6DC3240F8C83C1C1055 |
| SSDEEP | 192:Zh8rsUf3Z3nK+ANCoDtVEfWwVz7GjRO+aNEGF2:v8rsUvJnOxDtV+ZGi+G0 |
| SpecialCode | |
| TLSH | T103F10C052D8471A2463269134C8DD6A9A54FC8377FC689E870967C7C0F66818F1F9BEF |
| db | nsrl_android |
| insert-timestamp | 1728992589.6336777 |
| mimetype | text/x-c |
| source | snap:NB2miKuMVyFdM4A2HyqPjUGeQQ6UaPtd_24 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/oracle/bitset.hpp |
| FileSize | 8417 |
| MD5 | 473152EEF8F25FA73A148A47952B9EAE |
| SHA-1 | 1FFA23A6C17F27379AB5737AD81AEC2EA28FA600 |
| SHA-256 | EEFC8A47C4EDA1D42C3A8A347C946F8436DEAABA41E39D369838DB67520BA039 |
| SSDEEP | 192:giy2QHDxHv4Muv1gJl+QDaBiQXYlkY93QQQzQPQ+/tQ+BrQ+3L6QJZrSCUd2uwQc:I2iJv7uKhhlrSXTv789Ft |
| TLSH | T1E102908B79EB35401557B5FA4A2E4001B724F2A371E8CF983F4C61A3BF03124EBE5659 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat.cpython-310-arm-linux-gnueabihf.so |
| FileSize | 853956 |
| MD5 | 3A25CD5C50342A7715A38EED0F788E23 |
| SHA-1 | 2328CEDB25014AB855E8CF3574FE948154958368 |
| SHA-256 | 06C581F349BD4B2DE94D93477F502DB9BDB6FE36AD9FD0AE92C475352785AAE1 |
| SSDEEP | 12288:EIaRsRPOsjbE/Bievoo/pMhEQWoYgY26n+pBbp+feuEC4FAG:EhRy9KcsooGtAP+FTTC4F |
| TLSH | T11C05D132E9CB5C3BC4F77A3EA067E6B518D2CCCA11749D4B9896842A7DCEAD42335350 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat-5.11.2.dist-info/RECORD |
| FileSize | 1761 |
| MD5 | F4182E9F77450EDE7F06F7628A80902E |
| SHA-1 | 27CDD192C0926E9718A59C4A05F3ED965F2C0EC5 |
| SHA-256 | 64D3E4DF7DCF4B5B7E73AC10EDB49D3C7E79F1E2C2A0611F4BD6802DDF59B4C2 |
| SSDEEP | 48:p2A/6U/bLwRA5F/V0C5DDYO8gvTq3wA6zbNCigZc9al20BF:fM+FeC5PUgvTqg/A |
| TLSH | T15831794F99C1FA9D7BD69F87A7F30336BC24071390CE08A46B74A530D1E9672553C495 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/oracle/oracle.hpp |
| FileSize | 5084 |
| MD5 | 45F6C78AC77BE5C943B52A1EF7924B08 |
| SHA-1 | 290C833988246A8B8E1A9B636A6DBD0AA70E3BBA |
| SHA-256 | E73908AF69E80E32F92D69BCEFD1C372A2F3E6E97EB61D26AE1AF0F5996C64F3 |
| SSDEEP | 96:giAIw2QHGaOPdwFwr9dNz43GUBeReBeN1E3AGY4wYevep4YhFXV4e4Yeu/vd4dNW:giy2QHDyX9dNzUtBeReBevE3AGYnYev0 |
| TLSH | T1B5A1A68A361055632CF760B7D616B402BA4661D2B188FDD52AFED1086EC584CEFF2C37 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
| FileSize | 218 |
| MD5 | 3DAB23C1D5AE73BEE22F610608079FDE |
| SHA-1 | 37EC6CF382342D130193AFC33693C3301420EBBF |
| SHA-256 | 3A34B3505C091CF87AFCF718FFCB1356CE645CD6C5BC5A679B9E6FE6CD1B9803 |
| SSDEEP | 6:Xt9OIEo6dMLxLM9FN7Lmej71KFpWYad0KU/PsgHB4Xmn:XBEo6dMLxLMtxjsFHs4/PsgLn |
| TLSH | T128D023F559194AADC024F75F1883F556DC0421714BC09D85C9EC6045DC180DCD5E365B |
| Key | Value |
|---|---|
| FileName | ./usr/include/picosat/picosat.h |
| FileSize | 28675 |
| MD5 | CA6B9E56BCE8C28E75AA6CA6C3A0AD11 |
| SHA-1 | 7554E74205CD7D766C4EA37C941D91D706444082 |
| SHA-256 | 084D86E8793A15B03A1F3A58C5DE87B45D81161163C81BB68C1EB51E4B897D06 |
| SSDEEP | 384:A61VHtqpqy0FU826C1Hym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:vxGV02Xo20wE6OtP909GqznHZj |
| TLSH | T176D27013AD452F3B4783E67047ED61E5D338D118726268E5B8BF528C6F8A891423FEE4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 818 |
| MD5 | D9DE8B527ED2C6DC93060C05C2EFCE8B |
| SHA-1 | 765069C270A35AD07AB3B2303C71E15206E64C72 |
| SHA-256 | A7035E235857D2BE1C7CBD8B986064180125D5F217F668B95B7112B7AF3751AD |
| SSDEEP | 12:XP06xVRfmlYN3RFfeuiE1sYSabXQGQuLua1iG3NnWCq6RTbZIyyKQOAuPkfYqP:Xs6xKiR4uiy3bgleDdnFz/ZIyyKQOGYC |
| TLSH | T1F001526EBB8EB994A02960AF55858600F95B23482088AACA1951334A38BA319241420D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat-5.11.2.dist-info/METADATA |
| FileSize | 7438 |
| MD5 | 33367DD2C0C8B99BA648482D1143EE0F |
| SHA-1 | 841E2BBEBC25DD7FCD86D5D2F67C7A60B258A728 |
| SHA-256 | 7C740769F949406E174E9C330E7CC3ADE3454B0064D0F7CA7297B302055AD733 |
| SSDEEP | 96:DxOp2XisurQHzoHs+PQImaZ6HEawb9udqc3Nhm5LNyDrc3vTPPxEW651:Y2yZQHz6ySsG9uAc3njDrc3jPxE/51 |
| TLSH | T187E1E71AA200B77A0AF20171A5AFE1DDA328819D264A59583D7CD10C3B17FB4E2FF09D |