Result for D162F6EA3D4D4D0E7D93C94FD7617C6EF956E6D3

Search result
Graph view
Parent (40)

Query result

Key Value
FileName./usr/share/doc/python3-cryptominisat/copyright
FileSize6084
MD5D52F194ADE4BF736E9DE7FB919995FFB
SHA-1D162F6EA3D4D4D0E7D93C94FD7617C6EF956E6D3
SHA-256A9CA9F2A763FDB0B85B958A82957B9C7EF3966E8963D63BFBD389A0ED0DA74E0
SSDEEP96:RspA9Sig0URHtRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9GRHCsDeOFQH+JEQHFumu9
TLSHT168C1B5683E408332089003D36839D595F27B3257B665F988BE9CE2495F17A9C57FBC34
hashlookup:parent-total40
hashlookup:trust100

Network graph view

Parents (Total: 40)

The searched file hash is included in 40 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize13192
MD59D012B494028494A2380A6121E72D9B9
PackageDescriptiondevelopment files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamelibcryptominisat5-dev
PackageSectionlibdevel
PackageVersion5.7.1+dfsg1-1+b2
SHA-106DE3261B8A223FC68DAB264864C4349774E022C
SHA-2569F0630FAB833A564ABC78CF067CAFEA63E6E1731477E91C37E35ACBB1D7296AF
Key Value
FileSize18728
MD5AE32BCE541BC76F0E04EAAE1F1A35693
PackageDescriptionPython bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamepython3-cryptominisat
PackageSectionpython
PackageVersion5.7.1+dfsg1-1+b2
SHA-10D68912F4515C568D3B40A994BEFCEE499D9E388
SHA-2560D883CDDB004471DDE56F8270665415DC2C10FB68B44643392C75B56FA64E061
Key Value
FileSize13180
MD59AEFC039D908524016E35E8D73279B03
PackageDescriptiondevelopment files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamelibcryptominisat5-dev
PackageSectionlibdevel
PackageVersion5.7.1+dfsg1-1+b1
SHA-112AF1D8694C49F0BBE33326DE05137C3273267ED
SHA-256A362177A318A79483C4324764FCBA2F6364010E5F9E8BED70CE4F5830E7F187C
Key Value
FileSize93936
MD51F4C0E500572659DF1C54A462BBE409E
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.7.1+dfsg1-1+b1
SHA-113113B7DBC8F006AB8B8E9294527F4C721912E18
SHA-2569D90580091283B7CC76BD40EBAB70C214F1355D44D1C8E14FE1752B8FD9DC2A9
Key Value
FileSize19056
MD5A3F48A2C6C5A49639BEF340B2E0875D6
PackageDescriptionPython bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamepython3-cryptominisat
PackageSectionpython
PackageVersion5.7.1+dfsg1-1+b1
SHA-114B848B04E81E1B97C25D0F5035DC1E899797A69
SHA-2565E5B7AD2558177F2BB58D30D668EF44531CDD4035CCFDAE88E62F1CD49565A25
Key Value
FileSize17792
MD58E31A3763645DEEB36686199D4C9F8CE
PackageDescriptionPython bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamepython3-cryptominisat
PackageSectionpython
PackageVersion5.7.1+dfsg1-1+b2
SHA-1196B013C7A98B0DA601256CCE58CC87BC6B5DA69
SHA-25658357C1C7261C4FF037063AF4969E2D757773434643DAAD4DBCF51DBED18CBAF
Key Value
FileSize19812
MD50E0E448DFF6C1E30D0E2AD2386503157
PackageDescriptionPython bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamepython3-cryptominisat
PackageSectionpython
PackageVersion5.7.1+dfsg1-1+b2
SHA-11A3014E34EC973051610FB7DE4CAD64F9DC938A3
SHA-256BB91ABF88F70752B78AC7CF8CF3F3EDB1A54E7A01E16A2145E8E553FCFC19143
Key Value
FileSize101740
MD521FA98662BF4F6A6CCFBC9113A83AF96
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.7.1+dfsg1-1+b2
SHA-11B6B2C5B428B0EC7110E6CA2DA9F7EA8B17A91C3
SHA-25633749346D12D5A6A5B2809FAE21CB4831A7913FFEEF2FF72EB966D436FB2B15D
Key Value
FileSize86548
MD5A90EF3AE1476FD067AF946C089B61337
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.7.1+dfsg1-1+b2
SHA-11E4D62AEE8C87AF9C091604BF4D7A0376287E034
SHA-256D45E00283158E94174340DFEE813FEE005B95033533C7ADB9E8138FEB97E6078
Key Value
FileSize13196
MD545E6D297E9A37D9D454D053C051555EA
PackageDescriptiondevelopment files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamelibcryptominisat5-dev
PackageSectionlibdevel
PackageVersion5.7.1+dfsg1-1+b2
SHA-12129127D9DD40F50653F5D9154617695A1BD1F77
SHA-25648FE9662A2563C26B1107F81C945FFD7C8DD79789DF2E11AAC029137A79E4BAD





metalookup is a service from miwakeru.com