Result for F47D7C220C804956EE7FB2BA107EC80409F1267B

Query result

Key Value
FileSize115524
MD55469003740D1527228E43D909BDCC079
PackageDescriptionSAT solver with proof and core support Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. . PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
PackageMaintainerMichael Tautschnig <mt@debian.org>
PackageNamepicosat
PackageSectionscience
PackageVersion960-1+b2
SHA-1F47D7C220C804956EE7FB2BA107EC80409F1267B
SHA-256F4143B17C5C357634B0AF46160A5E7BEA3D75DA1C93C44B5B62BAB969AD601E4
hashlookup:children-total14
hashlookup:trust50

Network graph view

Children (Total: 14)

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

Key Value
FileName./usr/bin/picosat.trace
FileSize133328
MD5452834E75FEC2B02BCB81CF0013F031F
SHA-17C37FDA9A5F39B900DAA97E1F717EBB72A20F3B7
SHA-256B4A54178F0C0B57AF8EE6139E606A35019D3430F17E8684DF5F34A4293EE8155
SSDEEP1536:shrySmCvlU7PEOtPUAnw9Pmb0NKwPWz8dNWoZkMF9KN1ojaUYyDdc:4W0v2ll8OinONATWscyJ
TLSHT14FD35C12364DEB47FB50383B42CEAD9173A1354513B495E6D545032FFBFAF2ACA2A814
Key Value
FileName./usr/bin/picosat
FileSize133312
MD538A7C78FDD8B3AF275C86B54F4929D83
SHA-11BEDDB7297B392A29B759F788FF8FD7B067329EE
SHA-256EF8445B2BA1F5BF58E59E8822270A2480A0F0B37AEAB03776478D16085CA2B7C
SSDEEP1536:gr1nP6s3FG4bZXZaAcuS/wJEN4tfyj8moo79GtO6AyHEUquhHjd41Q9kxTJ:CBceZ+nGtcyyuZ+Z1
TLSHT1F7D34C12320DEB47FB502C3B46DEB991B7A135490361A9E6E651032FFBFEB25C92E504
Key Value
FileName./usr/share/doc/picosat/changelog.gz
FileSize1824
MD54AF6238995D6C3390C4DE4729D5A2804
SHA-1A35BAC81E666D0C5139903AA2439B633DA6374D2
SHA-2563FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161
SSDEEP48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot
TLSHT1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD
Key Value
FileName./usr/share/doc/picosat/changelog.Debian.ppc64el.gz
FileSize217
MD59C3297F1F30D675F06F46C3089B34DE5
SHA-1AA5963C96B35DE90A00C0F552BB01F7FC7CBBEC0
SHA-256FDB32B997ED9A8F50210C56A9A557FF98BA10C09C3FB3EC7194EF861EBE81CF0
SSDEEP6:Xt3R0wLhB9da3lt7pl7l4FYiVPhg3sKYl:XJSotoVWFvg3o
TLSHT1EFD023EBC2783B18E390CAFA8CE80A06443B16810C07F03983482037094F0820C3BD10
Key Value
FileName./usr/lib/libpicosat-trace.a
FileSize130690
MD5A034E1A5966E651D8B6ADC200860A4BE
SHA-164B750251F8908F1FCDFA8DA8D7E942B558A8B11
SHA-256CF7A52220F85D09B619D8607C64C2ED8DC5C44362339CC46062EF9EEC5343157
SSDEEP1536:lbsJt1b/AAwDur56uKnPfpvapRZhpcKyce3MT/KRXN:RqkAzN3osfgk2R9
TLSHT1ACD329076D91AA8BE791AC3741C7AAA3B3A2B00803D25BD5C1D8433BFAF77159F17854
Key Value
FileName./usr/share/doc/picosat/changelog.Debian.gz
FileSize969
MD55F86AAA0626045ADFC13C3BB6A3AA6E1
SHA-1679207B4AB07B64A904C5E37FFA9D8A681ED47F6
SHA-256DF20C012AB2891A953AF1100524B36C0CFBBA57E5583C6F2B787A2FEF375EDC8
SSDEEP24:X84zqQtQiFizxArNunqvpmcmd4e9HiVVNk+8Y9xp/:XgiprIuIc1e9EVlJZ
TLSHT1A211C891F4336E47C2B025FC783E6B4580BE219C251D1F30CD96A384C69AFA9D5DF54A
Key Value
FileName./usr/include/picosat/picosat.h
FileSize28293
MD5F684208BC50D016E0393EA2D4E7696F6
SHA-17792DCC7ED455D76A7341D6D1FA720D82773FDED
SHA-256965F8A8043328D3C3A973F8DA14FFC6AF0423A6609931D261BFB97B9A4F98C6B
SSDEEP384:B6WVHtqpqy0FU8P6CAym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:AIGV02Xo20wE6OtP909GqznHZj
TLSHT192D27113AD452F3B4783E67047DD61E5D338D118726268E5B8BF528CAF8A891423FEE4
Key Value
FileName./usr/bin/picomus
FileSize133280
MD5B3149926B8C998F9FD3945E09CA509F0
SHA-191BB734D7400EDD89BCEEA6BC365DC4466FDFA09
SHA-25605EC8D627A67C55E8050447BA653D2501108EE3D120E35EB62FF20A323A5DAD7
SSDEEP1536:O7752INr0ZXZVKOoKSdi2t8KECRCr8Z6AygEUduUumbWfH94:YhNEMAP8xyDXd4
TLSHT1A8D34C11320CEB4BFB50283B46CEAAC1B7917559036599E6D641032BFBFDB29DA2F805
Key Value
FileName./usr/share/man/man1/picosat.1.gz
FileSize1109
MD54441230E4B5CBB6D54CE5271595F2FEA
SHA-1F1D6CC4EE513C45015C511B57C75D1CCA3EE7CC8
SHA-256CBF9E8F977CEF317669027A02FEDC3DCD7300254F2D32F75E66EDFF61E46AFDB
SSDEEP24:XeEvQLb2qvQUiHbUu6pq4rTNirDSR47tdNW3zf2BjZwLrnNjqm3Y:Xesqv1sbn4rTYr+Kd22BjqLrN+sY
TLSHT11F11E9441C5CA35DF723F4941282A27067EFF993B5F5A013B2F202D583080D9ACE25D6
Key Value
FileName./usr/lib/libpicosat.a
FileSize122298
MD56848E9ADA3EBF7113801E5F2AC6D80B1
SHA-10F50B70952CFAABF0BFCF1AC8FFDDD6A3D87BE7A
SHA-2568478555328536B0A171D8F9AF8FB4EE1229BF8E9BDEA8EF4898A8AFBFF551D87
SSDEEP1536:eXZ2Ai/7Hdz8NnZhdwb2FP6Aa0RUbj5LS4WlKeRQY+kx3G:0sxYFTaNjN4G
TLSHT1AAC319076E05AA6BE7509C3741EBAE627352740803825BF6D5C0833BFFD3B199F16968
Key Value
FileName./usr/lib/libpicosat-trace.so.1.0.0
FileSize133144
MD5AB206FC8F1A43BEAA7B8454085DFB4E3
SHA-18085BEB72B7609C8FBCF1198A43661B234103BF4
SHA-256ACCDF232D962F843FB196E6F90A68A084BCCE02478E84F93506160D686F61F8A
SSDEEP1536:6KjHMtDPxa7CGoKnPBSbrj9h65bRVGZYuq3Fmra2ZLjznKW:0yOZwGvAWYuMGzKW
TLSHT1CDD34C12360CEB4BFB903C3742CDAA9173D2754513A999E6D541031BFBE6F2ACA2F814
Key Value
FileName./usr/lib/libpicosat.so.1.0.0
FileSize133128
MD5E2567F9995B71193C052C9FB8321044B
SHA-10494F5B8499852C250B4550590A93E6D48CFA706
SHA-25608045A6EE2371C04174063755873B0B35D9E93D3DFD36B33772F6E57C596EFD7
SSDEEP1536:B/mfeG3YY95dALPBKuMW6BijUtUaooK8OcC2/Xe:BQJBE2e
TLSHT189D33B12320CDF4BFB502C3B56CDAA917392794903A69DE6D541031BFFEDB29C92B849
Key Value
FileName./usr/share/man/man1/picomus.1.gz
FileSize821
MD57AEB69EAB0C7478896263EF6BECCE2B6
SHA-1DCCD3FE1798653C0686269334378FE51F93A3C4E
SHA-2568F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2
SSDEEP24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt
TLSHT19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB
Key Value
FileName./usr/share/doc/picosat/copyright
FileSize2263
MD57E50CFFB73F8059D45746CD9E4BD4033
SHA-1124824533233EFFD0BED6F37C4E0A6AF9B29E429
SHA-256BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549
SSDEEP48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9
TLSHT1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4