| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 631 |
| MD5 | DF033997B36ECD597B32D4B4CCC60A16 |
| SHA-1 | C0FC9A2909486DE088A31A9FACA401B111B1A7C0 |
| SHA-256 | 500F66E0CC49F582D7E2DE6E5F15CAA58EB6CCE2297B6D6187AF164F4CBC1B88 |
| SSDEEP | 12:XcmQJtRx43ThLsK0VOng0fipP0IZW6rfCerydQ4MELEqnEL9GAY/:XMtRxcLH0og06pPRdOvLjnFP/ |
| TLSH | T1E6F0C80064A874C393B401628398920EAE76D31E692538F022C438010499F9849F1AA3 |
| tar:gname | root |
| tar:uname | root |
| hashlookup:parent-total | 11 |
| hashlookup:trust | 100 |
The searched file hash is included in 11 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | http://archlinux.mirror.root.lu//pool//community//cryptominisat5-5.8.0-4-x86_64.pkg.tar.zst |
| MD5 | D5F777906BE3BDECDAB0C060E9901CD9 |
| SHA-1 | 65FB728E6CF80C8C63D7C24E94A64AD788F57320 |
| SHA-256 | F16ECDEF2DD9736EEE0B2507ADF1C86421F5CFA96257FC2AF50C93E43F8C8759 |
| SSDEEP | 12288:tsLepCjp1TsGQMie+LBtnk7kUdKF4vSTeULnbao6eeVQ5t+vX:tsLeujxQNNLBEkUd8hDbaVQ5e |
| TLSH | T19CC423B1CDF438AE41DB223FFB8494CFBA1FD5CBE65109451B906BE22359C527216C1A |
| Key | Value |
|---|---|
| FileSize | 83332 |
| MD5 | 56C9775143608A06EEF38801B10D181D |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 329B9C571F6D36C24D981DB0BFBC9E2E8F5B83BA |
| SHA-256 | C6C5D18BF860F23A9315ED059AC6B6B1E15A706F20AB234782373FD13ED16759 |
| Key | Value |
|---|---|
| FileSize | 82508 |
| MD5 | D1563357BACE574B9C3818CE8AFA8DC1 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 58480C6B836D92D95949944A11C9DF43BFC6EE23 |
| SHA-256 | 2AE6A126D15EF715AA8869128ECA5798DFDA103083CCFB012498424A1F4E6D55 |
| Key | Value |
|---|---|
| FileSize | 84864 |
| MD5 | C1C6D5685E63431955E42F6932FD92DD |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 17C1C656E599505FB5851023A800FFACC8DE16C3 |
| SHA-256 | 60671654CE33976EEB0679045CD5EEAB2D36CD16B5CC7D9DEF2004A8F957D193 |
| Key | Value |
|---|---|
| FileSize | 82564 |
| MD5 | E81736E1A1BB3BA34F04876F50DA7DBE |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | F85124E305BDE77CACB6C901111EC766A4C148E6 |
| SHA-256 | FC1A0C9D6C46E9E935AE19BDCAE448694A11E07C4B0DFC9040A18CE5B091C37A |
| Key | Value |
|---|---|
| FileSize | 91652 |
| MD5 | 99C93AA774A5714977C0B191A9553E4E |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 0AC60DD1EB592C5BCE99E330E3482B4F00492C4F |
| SHA-256 | B61BD2087EE020FEBF64D9657CBD3CBE122C73CA9CE929A842745ACC491879A3 |
| Key | Value |
|---|---|
| FileSize | 93104 |
| MD5 | 109C6093988DD858067CBF77AC94037A |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 1370B27CDFE9BA1E715FF3611F3E01F3CA7F5E38 |
| SHA-256 | 98D30C612EBCE37C14ABEC8545E8F38014656BA971178A50CE5C23EBE5400D39 |
| Key | Value |
|---|---|
| FileSize | 88028 |
| MD5 | 7DD2E3E22252DEF1B3F7A38786E96283 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 0CCD17D64CE401A6D72DDBED9DC6536518F56178 |
| SHA-256 | 1BECDD5D30623F429640E839FFE4E7F7537E7E7D76D2CB4F00DCF86AA5CAFEBE |
| Key | Value |
|---|---|
| FileSize | 82132 |
| MD5 | D17628C586B630F7F077BB159655CABC |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | C87576D5D9D443E822C43EDD9F14CBA68C3DEF03 |
| SHA-256 | CB10A551E6EAB1F38CB8585FE601592014907F30DE9F103A4ECF33882F1776F7 |
| Key | Value |
|---|---|
| FileSize | 79856 |
| MD5 | 00A17BF11F5602931D5F673855BD02F5 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 8748FE76794D6AB2FA003D9C1D3BAD49A904BA19 |
| SHA-256 | B1FAF99FC4E1EA6CC575160DC7D034755AA65C5C9583E05C316D5EDDBA1AE027 |
| Key | Value |
|---|---|
| FileSize | 87672 |
| MD5 | 6562DBEB926023654F00C1E17389A8EE |
| PackageDescription | SAT 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. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1build2 |
| SHA-1 | 99D9BDA0D09CB477D40E320B5F839F176C90D009 |
| SHA-256 | 94A0548C06B8129ECAA544851110F9EDFF5AE45420FC23FDE788E96F393B697E |