Result for 811D64088757BBD7B30DEC3E30133F4962142476

Query result

Key Value
FileSize90156
MD5CDE3FFDDEA5D77C74DEAA651FDC76B52
PackageDescriptionSAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamecryptominisat
PackageSectionmath
PackageVersion5.8.0+dfsg1-1+b1
SHA-1811D64088757BBD7B30DEC3E30133F4962142476
SHA-256DB1269CA193E581E67832B067F6AEAB6DA16D47AD46AEF985C34322589B16319
hashlookup:children-total8
hashlookup:trust50

Network graph view

Children (Total: 8)

The searched file hash includes 8 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/bin/cryptominisat5_simple
FileSize39088
MD59EA73A28071CE32B5A7F2E080D60658E
SHA-188940975BB4D14C7540EBB9E610AE741E88F6F8D
SHA-2562518573CA443CA9AF1F620063AE1B20A72AF0BCAE444D46DAD189C35CB857220
SSDEEP768:6CUBuAX64fY3aUYSGDtFJDlJbyK7o/Bf:rUBFX/HtnDlJbyH
TLSHT11C0317AAFB5FF833D092933DA6875662BA375D48D22583E7321E010C6F83CCE4D26245
Key Value
FileName./usr/share/man/man1/cryptominisat5_simple.1.gz
FileSize629
MD51DBEFFBC15B0FE450D953FB281EBE97D
SHA-1894AFE28D6649FCC4D8FA32922C35647A243221A
SHA-25641096E2C2F9E8EBC4F601A2408628B24F0A45FFB138BFDD3532196A783F65A10
SSDEEP12:XcmQjK7cLkKTLAH7KSGEjWyFLv7WJrWaUfxBM7aW2fvH/lRedir03DnH:XuLLNSGjqv7MWn+EvH//e0rODH
TLSHT18CF06225C66C6748C16E47598B8E050BEE63166EF4C98B646F06F0FCE50A11F0E96988
Key Value
FileName./usr/bin/cryptominisat5
FileSize276840
MD5B6F6E7FCC7FAB8F54DD8A59F60924539
SHA-1B0233111D809ED0D731F01EB4F8BE2E0B72C2972
SHA-2565513D0A55C0ECDEE27ABBC541971E8359E5DE94C5FAFEAD4EE7EACEDB18401E7
SSDEEP6144:KyeRjchic8PaczHj56wCvjBt9S02n6itnf:Mchic8PQwccn6yn
TLSHT1E4442A0BED0CBC13D9C762BD6D2B43536627ACDD9229C172781D815DABC7AD9CE38910
Key Value
FileName./usr/share/doc/python3-cryptominisat/changelog.Debian.arm64.gz
FileSize216
MD58434E58CB693667EE61B5A22509B4CA8
SHA-1CA4D8B1A562ADFE74AD28C3A6E152333FC36DAE2
SHA-256E19A1440F76AEBD97ABE5B591ACC511418AEF7C6D2CA454576D9EE9A382A35E5
SSDEEP6:XtdYX1CdsxoAG4Sp6Q5c3txMyKiPISdmHkln:XHYXIujDspK3fMyZAomM
TLSHT163D02359E542491ED58520F458D13E55209439E1DFB37159054F989950581F1384C56B
Key Value
FileName./usr/share/menu/cryptominisat
FileSize139
MD517B1D942DB0FE666B31CF8CCF9E1F8D2
SHA-1B308DB947BE4FB0101D9FBE8D0230577FDC587B6
SHA-256C3248C1578AE06BF54DED92D194B2B6CC6B3DC404B6E7E3AD5C90A43AB6BB775
SSDEEP3:2RGURKxLMNMfxAxmRMQfVwGERMQWYHOXLMNHF2uHKL9JcViLMNQP:GGUsxU2TwGd1XUHwuUvcMUc
TLSHT1A8C04C81957AB6D047F255B2A73183514695D02914539E6062F06404C996165610263C
Key Value
FileName./usr/share/doc/python3-cryptominisat/copyright
FileSize5927
MD5B465BED9AFD3E99415A13348200C0110
SHA-1F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F
SHA-256811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A
SSDEEP96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9
TLSHT1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74
Key Value
FileName./usr/share/doc/python3-cryptominisat/changelog.Debian.gz
FileSize678
MD5A266B6509219AC3598BBE374924A437B
SHA-18A7693039669C3ADA08F2DA173A5D3676F2B54AA
SHA-2565DFDC18EBA52098B716749320AE6A20AEDB285C2FC02623A7EBE713CEC9CADDB
SSDEEP12:XDdR6ieKnGNqnzz13ctEwQpIptdzRSP245ahgjSq0gDRSHTu+DuqtKtsHjCAm24:XDdR6oMkzMEHpINzRSP24E1qTgTFD/s5
TLSHT1AA01834480DB12DC86AC2E7D666A165C32CC85AF06A4285FCEEA8ED3845B22C1FE1584
Key Value
FileName./usr/share/man/man1/cryptominisat5.1.gz
FileSize5908
MD55A14E43031B1FD45EADC612400ADE438
SHA-1934D1BC1AE803B717A90EA4792167D53D17A4A2E
SHA-2564239145992F7ECF6E97FA15C16140DF412A7DDA05BCC126F86DF0C34A4DB0D68
SSDEEP96:GXFRk7D8BQgzovQ5KUpft2HISu4raE9CUFz91E+G9oMmg0EW9ZZ5hURTES:UFi7gdzovEgfjOrUR4X97R0ESZBUZES
TLSHT1B8C17D2AB0C2870997803C97E3D674E6B72C586D913B55198E70C676F36D828233DB7A