Result for B39BFFBB45E032BD392756E37D0128A237D802ED

Search result
Graph view
Parent (20)

Query result

Key Value
FileName./usr/share/doc/python3-cryptominisat/changelog.Debian.gz
FileSize801
MD51546C9198458A9E64283782FD2F5547B
SHA-1B39BFFBB45E032BD392756E37D0128A237D802ED
SHA-2560DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6
SSDEEP24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq
TLSHT1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B
hashlookup:parent-total20
hashlookup:trust100

Network graph view

Parents (Total: 20)

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

Key Value
FileSize502056
MD51BF9B9FB74F1BF9FF219145168D12BBC
PackageDescriptionSAT solver library CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a shared library to link against the CryptoMiniSat library.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamelibcryptominisat5-5.11
PackageSectionlibs
PackageVersion5.11.4+dfsg1-2+b1
SHA-102823D514D4B0BFCF7D8A1683BC73AFB839A2B5E
SHA-2560B42CD0874346F85A537C676A30517324D4911A7CA408E2CE503299305FD56BD
Key Value
FileSize67252
MD567799CE18D9B99E580282C884DAA84CC
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.11.4+dfsg1-2+b1
SHA-105E857503F1AD3DE59CFCE5B511D1A5C8AC5D184
SHA-25687631651A4F688D7766BF97B978F83DB7EA8EB928DA91A291BC7FCC759B31E86
Key Value
FileSize18324
MD5796BDD68E1D0581A22FD9645D5F3703D
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.11.4+dfsg1-2+b1
SHA-111F740591EECB38D469E324ED32FE55854FCD823
SHA-256F406026A95EDB9155AE7EF46CE09DE45809DF53C484EB9EAE7FCA213D95942C9
Key Value
FileSize18324
MD5953E040030CAD531736891EB54A1F7D3
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.11.4+dfsg1-2+b1
SHA-116333DC36D26B2AF098014B4A4723D418067DF21
SHA-256E5F58554158D7364F19EC1C2006E73291C9AE7AF2BE319C747CDA33576C2A0A1
Key Value
FileSize18320
MD504194CFEA57D88C761AEFF20B7D9BE3A
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.11.4+dfsg1-2+b1
SHA-129964E9119B016E6EE5C372FC611F01530416681
SHA-256679281A3B1D3B964BD68C133045A51A3FCC9E2128ACA0B026D5FE9D0DC474CB0
Key Value
FileSize77096
MD5E0D531FE733833A83078522002DF8E9A
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.11.4+dfsg1-2+b1
SHA-1314CE1A1B9126B77226030A78DC35ECAB4CE3500
SHA-256BFDD6100D338569563917E14639621D62B423A2A90E6FDA2C5C77353C1644E1A
Key Value
FileSize532504
MD58A7F3808198D969203E424544E55BB06
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.11.4+dfsg1-2+b1
SHA-13E624FBA24D997024590F87E7EA2D8BDE1139C1E
SHA-25641A4E6BA837AE43384E7818A3D388A34C493030E5F9529BA0E41AE397D6A4AFF
Key Value
FileSize484484
MD5807CCDBFAF1D0709A744ABCA3F648079
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.11.4+dfsg1-2+b1
SHA-146FECE18F5C79C74F382512CCEAD3F5ECABE728D
SHA-256654AED4821787BFE290110EA924744147FB3B5F2035CCF46AF13175375AF9BC6
Key Value
FileSize528160
MD5F7235EDEDC40F89640C361DAC80338A4
PackageDescriptionSAT solver library CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a shared library to link against the CryptoMiniSat library.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamelibcryptominisat5-5.11
PackageSectionlibs
PackageVersion5.11.4+dfsg1-2+b1
SHA-14878C757EE549B3C4DE4C06C48F094A5B6358C3A
SHA-2567FD84537D2328A95F129A5D7C59CA8FFB232C83D9A8F674C79704687F48E6A84
Key Value
FileSize450988
MD52FC915FC837797A4F0E08AE63EBD3363
PackageDescriptionSAT solver library CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a shared library to link against the CryptoMiniSat library.
PackageMaintainerDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageNamelibcryptominisat5-5.11
PackageSectionlibs
PackageVersion5.11.4+dfsg1-2+b1
SHA-151DA28E5024E542B912986FFDFC1BE3C15466DA6
SHA-2569E1B0CE9AEABF2263381C230359C42618D983AD140918099B4A01618F0DE3493





metalookup is a service from miwakeru.com