Key | Value |
---|---|
FileSize | 490280 |
MD5 | 5E4F00A0CF627C6B6B05F6CBE92DF8B0 |
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.4+dfsg1-2+b1 |
SHA-1 | B6F6D53085B6809F2F8675D7B09D2096D5F8BEB3 |
SHA-256 | 80A1336EBB263AB7F42BBEC51DBD18CA00A286B8B3A5378CC3D54DE36C9ACBB6 |
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/pycryptosat-5.11.4.dist-info/METADATA |
FileSize | 7452 |
MD5 | 98DA464DA2DD140FEA8B9F3D31F13991 |
SHA-1 | 1BC470C0753B3F66D635391EF198CCBC2C47B96D |
SHA-256 | 8EFECE9F7B2804553B2B3419C7FF8C6A1C4E7D73A2300AA84BB1C83A45C0A559 |
SSDEEP | 96:DxwP2XciupQHzohsAQImaZ6HEawb9udqc3Nhm5LNyDrc3vTPPxEW651:S2MdQHzusSsG9uAc3njDrc3jPxE/51 |
TLSH | T11BF1E71AA200B7761AF20171A5AFE1C9A318819E265A49583DBCD20C3F17FB4E5FF09D |
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/oracle/oracle.hpp |
FileSize | 5084 |
MD5 | 45F6C78AC77BE5C943B52A1EF7924B08 |
SHA-1 | 290C833988246A8B8E1A9B636A6DBD0AA70E3BBA |
SHA-256 | E73908AF69E80E32F92D69BCEFD1C372A2F3E6E97EB61D26AE1AF0F5996C64F3 |
SSDEEP | 96:giAIw2QHGaOPdwFwr9dNz43GUBeReBeN1E3AGY4wYevep4YhFXV4e4Yeu/vd4dNW:giy2QHDyX9dNzUtBeReBevE3AGYnYev0 |
TLSH | T1B5A1A68A361055632CF760B7D616B402BA4661D2B188FDD52AFED1086EC584CEFF2C37 |
Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat.cpython-311-aarch64-linux-gnu.so |
FileSize | 1182752 |
MD5 | EC5263D6543B7AE2859C416D3564C097 |
SHA-1 | 472AE9887E153935A91020E7C04C36D958EB9EDE |
SHA-256 | 9EF2E9F4BE28A6261BC27235FD3D1DAFC01619E0E42746965C3883E787EFD7E0 |
SSDEEP | 12288:7xeN3FmOnQ7Lu4Ubx6BmtKO8uNTJpL/OfVi3w0tSxJ43JCPHPBkcCYuVvnoNFrYN:7kFy7EbG2COLyHJ43wPH4oNFMs |
TLSH | T128458D56F94E3D23D6E7F33C974AA3A7256B79C0E22644B3A801060CE9C7ED8CBB5550 |
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/lib/python3/dist-packages/picosat/picomcs.c |
FileSize | 8396 |
MD5 | 1A8482EA2D924496293F2D59E568BDD0 |
SHA-1 | A891BBC76993DF9AA6048EB404E9D2832B41AFD7 |
SHA-256 | 62F06BEF3C6A72A153F92CE78D9B7034DC881605CC3DE59A80EE7391B3B838ED |
SSDEEP | 192:ySSja+qPNVWZmO/iGOgR4r2rLCf8qhHmCnVg84Hv85yj/mqlLg9NHlp+2UST/H7L:hnt3glPKqO/xL |
TLSH | T16E0272236E46D46A5BF3643EC75B9412D3AD6413016CDD9F68FF20A8BF8182802BC99C |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 801 |
MD5 | 1546C9198458A9E64283782FD2F5547B |
SHA-1 | B39BFFBB45E032BD392756E37D0128A237D802ED |
SHA-256 | 0DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6 |
SSDEEP | 24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq |
TLSH | T1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B |
Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/oracle/oracle.cpp |
FileSize | 30036 |
MD5 | 639ACBC1B87D3B5EAACF43F86AE8B81F |
SHA-1 | B49247586D97163CB1A353A499DFDE3EED21DF52 |
SHA-256 | F8B4E38DF008B17B66CC86550C3E7CF30499D0F5DE0B191FD4FF60E10869DDCF |
SSDEEP | 768:WRDYeITLPQ8lgQyzFSUehxxFqfRCZXPageBeqeRToPf0rFzKwhyvOeve7ekeC:WRDYeSLPQFFSUehlqfRCZ/ageBeqeRTR |
TLSH | T191D270D5EB8DA87364A0706E4C2EC19F52AC1DB639884CAF9EFD42583995C3C06F9D31 |