| Key | Value |
|---|---|
| FileSize | 91888 |
| MD5 | D18891A8BBD956180B609D7C370B6EEC |
| PackageDescription | SAT 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. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 965-2 |
| SHA-1 | AC2BE53C406DA40D0830C00DEF28653327D60753 |
| SHA-256 | 92146943920449F4F11D9F77665E12ED3A913610547EFEB36348E66564D3B0F4 |
| hashlookup:children-total | 10 |
| hashlookup:trust | 50 |
The searched file hash includes 10 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/libpicosat.a |
| FileSize | 152024 |
| MD5 | 43351A682EF43B5822CC03C555DEF883 |
| SHA-1 | 4D2BEB7B9B95ECF47D8FF765C1123290E8336DEF |
| SHA-256 | 742FCEA08FFCA10740E553C26B7460E79853D1BB521A08C69927E0D0A6AA6B39 |
| SSDEEP | 1536:z50gTfpxtRcVR7nKpHBJeXzPqwiKWA02r27BAWfGXbwCCN0FjvDgr9ZCPRA/lZhl:j/tRNpuqwiKWB2sZ+rwCCqingxxG |
| TLSH | T1A2E34D17B193846BC0769B3085FA9120F17FBC498B2B75B3761A37AE1E72F109CE2558 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0 |
| FileSize | 100496 |
| MD5 | 049209F41911A989100407D5355133B8 |
| SHA-1 | 890ED837DF5B3EC862FCA7B6C4A49346F49D6A4D |
| SHA-256 | 45696A92CBB9C1AC91314E632A9FF5822CDDF6ED2A86913B51A4498C888BBDCD |
| SSDEEP | 1536:G9lPGPpo2tuLO0NcDgg5cRajM/3aAW3LXh3BPQyeqbwzGC:GnktuDOgunAELXh3Q6wzGC |
| TLSH | T17CA33A1BF0924CBDC2DA9834CAFBE26295317C0803353A7B78A49A352D739345E577AD |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 112952 |
| MD5 | 60937ED1DD76CC5889C4F7CC37A808AB |
| SHA-1 | 89B4104B54C8CE187535E4F6FECA9CD68BEFE1BF |
| SHA-256 | EC6CF176B42BB8C24E2D31645E107CEC20A964437DDE80170A70552C033E2CA6 |
| SSDEEP | 3072:LFd7ZlCnvamJxlRtXYtKTmtocU3CGqFwz7th:LF1mJxlbImmtQhqOxh |
| TLSH | T152B33A1BB19208BDC295D430CAFBE2129571781803317B7B7DA456353D73A30AE6BBAD |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/copyright |
| FileSize | 2263 |
| MD5 | 35FB311C449636AC14A4CC4D7BCCB102 |
| SHA-1 | 9868FDE9FC3E9366F9FBD137BE2B43DB6D375A5C |
| SHA-256 | 708AF728725AD4F6B0196C113931DDA5FD1D7F0066AE918077350EEFBDFEEC9F |
| SSDEEP | 48:BKjeA8hp0J7ZvET7QH0s5ANU3ouF7+mZciXEg6n7Z9:BKjZ8hisvQHFogjCGT6l9 |
| TLSH | T16E41D90D724083BB198127D1794668DDF33B73DB71BF45C4A04ED389A21687852FB8A4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/picosat.1.gz |
| FileSize | 1109 |
| MD5 | 4441230E4B5CBB6D54CE5271595F2FEA |
| SHA-1 | F1D6CC4EE513C45015C511B57C75D1CCA3EE7CC8 |
| SHA-256 | CBF9E8F977CEF317669027A02FEDC3DCD7300254F2D32F75E66EDFF61E46AFDB |
| SSDEEP | 24:XeEvQLb2qvQUiHbUu6pq4rTNirDSR47tdNW3zf2BjZwLrnNjqm3Y:Xesqv1sbn4rTYr+Kd22BjqLrN+sY |
| TLSH | T11F11E9441C5CA35DF723F4941282A27067EFF993B5F5A013B2F202D583080D9ACE25D6 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.gz |
| FileSize | 1008 |
| MD5 | 4197C8161ED490025CB8FE872919D157 |
| SHA-1 | 398DC8698E49D0957B8231163AD3D081BD37A8C2 |
| SHA-256 | 8691AF7CBF605D354BA878300E86EBC590780B361ED22FD3D48E4661CCFB9434 |
| SSDEEP | 24:Xq0uAWGKqm1LaqxhWTog0X7wY8YsJ6WnXq/Mj:XqPx5x88l7ndoF6kj |
| TLSH | T1ED11CCCB5D79CD407D110F84A88BC10A59806FDB6398D3DFED818B943302C94E04DC58 |
| 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/bin/picomus |
| FileSize | 100664 |
| MD5 | 256E25CEFA8405D14586119F885195DD |
| SHA-1 | C76C3C10965F8E872C0043E685FE26E54C7E90D2 |
| SHA-256 | 3E9798763BD8193E2A85E75520E3C398E105C06DFCABA77950AE5C3356768B18 |
| SSDEEP | 1536:dgZBKYzTfp7t/jRR079BUYBPTqzIPFl4YUiZtozfwNNGBlbwXuF:dYB5dt/m9BXTD4YUi0r0NuBwXuF |
| TLSH | T1E4A34A1BB1920CBDC19A9430CABBE212D6357C1803353B7B79A45A353D73A305E677AE |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/picomus.1.gz |
| FileSize | 821 |
| MD5 | 7AEB69EAB0C7478896263EF6BECCE2B6 |
| SHA-1 | DCCD3FE1798653C0686269334378FE51F93A3C4E |
| SHA-256 | 8F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2 |
| SSDEEP | 24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt |
| TLSH | T19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0 |
| FileSize | 100496 |
| MD5 | 4AC39CA10CEE9686CC4B1D6C3E202659 |
| SHA-1 | 30034DDAD12228BAE49193CBA873993F13F20256 |
| SHA-256 | BD67310579434A892C0A594D9C676C5C69FC6E0B0465E0626DBE580FA5AE5D3A |
| SSDEEP | 1536:CBlPGPpo2tuLO0NcDgg5cRajM/3aAW3LXh3BPQyeqbwzGC:CbktuDOgunAELXh3Q6wzGC |
| TLSH | T12FA33A1BF0524CBDC2DA9834CAFBE26295317C0803353A7B78A49A352D739345E57BAD |