Result for D78EB637738DDE01E5B1B302191D855B7180B356

Search result
Graph view
Children (11)

Query result

Key Value
FileSize85444
MD59EE88DFB514424F62483B28644F75908
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.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamepicosat
PackageSectionscience
PackageVersion965-2
SHA-1D78EB637738DDE01E5B1B302191D855B7180B356
SHA-2564D80BC4A7451244AFEC49A72A65D643834C870B4B5A038BD9B8C378E46A1FBDA
hashlookup:children-total11
hashlookup:trust50

Network graph view

Children (Total: 11)

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

Key Value
FileName./usr/share/doc/picosat/copyright
FileSize2263
MD535FB311C449636AC14A4CC4D7BCCB102
SHA-19868FDE9FC3E9366F9FBD137BE2B43DB6D375A5C
SHA-256708AF728725AD4F6B0196C113931DDA5FD1D7F0066AE918077350EEFBDFEEC9F
SSDEEP48:BKjeA8hp0J7ZvET7QH0s5ANU3ouF7+mZciXEg6n7Z9:BKjZ8hisvQHFogjCGT6l9
TLSHT16E41D90D724083BB198127D1794668DDF33B73DB71BF45C4A04ED389A21687852FB8A4
Key Value
FileName./usr/lib/arm-linux-gnueabihf/libpicosat.a
FileSize94496
MD5FB73B40110C2A13FC7670B38BA29A8A0
SHA-1F3CCFF03820E79A947284B55A158454422369699
SHA-256537DDCF886D1469A493C71B0CB21C585DCAA3179CBBD0045B8B493CA85FD2F8A
SSDEEP1536:HGcNwz6NU91HSpUfmGMumtEzglqcWrJ3Urd6uWC00:mYiWUfmGflg8Xt6QuWl0
TLSHT1F1931A86DEAF8FC7C59645B9415383D8B2BAE50C130B3B22D3E994BBA5E47F86DD0104
Key Value
FileName./usr/lib/arm-linux-gnueabihf/libpicosat.so.1.0.0
FileSize71100
MD5A224DF67EAC06CDF5B3C183F1A8A0A5E
SHA-12C5BF329FC43134E07EF9DC82B86FB970F8D2737
SHA-256CA9F8113495A345F6AF07AD38C3084760EC62A919CA2B6BB8AA780FF95D7419D
SSDEEP768:zpnv5J3XcVGo6il0X1GWTGSL8bmpCTk3EDz5/au4ddrzUlPI9b0/mcaMN9VHbInn:lnr7GWqOsGEDF/eIlPuY/mhMtgfxR
TLSHT1E3638E5BC59D4CCBCFF68F7E60D282E8E5EBA54C23221D23937A6827A4F07747265244
Key Value
FileName./usr/share/doc/picosat/changelog.Debian.gz
FileSize1401
MD50A2F8E76BF4C336D50E4837C3D642219
SHA-1528F05F3CEACF8DBF340B4FC56CE7A1B8D2DA14A
SHA-2563CAE90160DE83391F556560077ED294412337B56D0715826CC380E4FF61DCE62
SSDEEP24:XGG7eKV3KYHUrY4fSv5T/fwtTsc7yFIJ3dM/cJv/piLm/nmvl1MNqW+0sv1:XDpxUrY4fccZs4yFO3dM/qZiafm9qNqD
TLSHT187210B333ACAFDA9E5133175471B6D5E4910C012038664ACEC2F34DF64921370CC28C4
Key Value
FileName./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so.1.0.0
FileSize71100
MD59A1257715EA0864F6586EE5647953436
SHA-12BBF740B355BA0AE4C40F80C50BE870A5FDD98FB
SHA-256FC6400278BD5CA544F721D920A69D20F998CAF43852DE4A26569287E01DCB430
SSDEEP768:6pnrncTyavHwtG4E/XBmW8sCrYpaBGnJOJX/au4dPKmppoNh+H24CMNrVHFInGgd:en4vhmW8cqGnoJX/DwpOMH2tMdgfxR
TLSHT121639D4BC5DD4CCBCFE64F7E60D683E8E5EBA44863221E23937AA437A4B07747265244
Key Value
FileName./usr/include/picosat/picosat.h
FileSize28675
MD5CA6B9E56BCE8C28E75AA6CA6C3A0AD11
SHA-17554E74205CD7D766C4EA37C941D91D706444082
SHA-256084D86E8793A15B03A1F3A58C5DE87B45D81161163C81BB68C1EB51E4B897D06
SSDEEP384:A61VHtqpqy0FU826C1Hym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:vxGV02Xo20wE6OtP909GqznHZj
TLSHT176D27013AD452F3B4783E67047ED61E5D338D118726268E5B8BF528C6F8A891423FEE4
Key Value
FileName./usr/share/doc/picosat/changelog.gz
FileSize1934
MD5AEF874D1B8EEF5BDEBEFB4839D52E124
SHA-14411D20C33553D48D4678490066C2208AF4C4A26
SHA-256050BACC95FAEC1F8E9E8C998AF786DBC1EFF3FF0DA15307CA77F32A8BFFE7C96
SSDEEP48:XTDaexAd2LtiRA0M5B+hXxJSwD1JVEK5paHRVJ:jOeykivqB+hXx3LfPoPJ
TLSHT175411B88707175B5893C4A3C8053DEF94CB98792119B091C6FE2A8D0179572D77D8C2C
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/bin/picosat.trace
FileSize79408
MD520075F6B4A4B3099539753CF30F64760
SHA-19C54AFE23042A42E5C7C37703EDBC053B009302A
SHA-256DD2A7B37F872B9F6B43C7CB082EA0476533440518FB221C729788B1594212FF1
SSDEEP1536:C/GestwFJAkHA+OJDxluVTn8oy4aygfxR:hetHOJDxYVTrvg5R
TLSHT127739E85C19E4DC7CBE3877E20D242E9F2FA744C23216563A7B76977E4B0734B2A5680
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/bin/picomus
FileSize75312
MD5B5233C0644E7640C37B8A45697E2D0D3
SHA-19ACD13D84AE2EA2F74BBC7AAC123FD9FB84C86D1
SHA-2566C264CD55E7C4BB02DD8F5BD7638E2EC8ECAA2EDEBCCE03713374103B8273203
SSDEEP768:RX7ixwiE7jRBAiDI+0fJPkZzHe93cUhpe6F1yIu+VIaHllOpBemmgoJZwCU1VH8e:WPE3RhpkyHEVF1yIuClPDgGOkgfj
TLSHT1C573AF85C6AD0CD7CFB6477E709282D8F6EA549C23322613E7BA597760B4738B371640





metalookup is a service from miwakeru.com