Result for 86CC24CD3ED8495D966F0A0EBF75B8DCD4CFF89E

Search result
Graph view
Parent (48)

Query result

Key Value
FileName./usr/include/cryptominisat5/cryptominisat_c.h
FileSize3778
MD527E29166A010AD3DEDB72F18AB1EAA45
SHA-186CC24CD3ED8495D966F0A0EBF75B8DCD4CFF89E
SHA-256D23276F28A6B217C21B07CA95FE6095D1641295D3940325EFCF6F002F7E4DD4B
SSDEEP48:7DaJHlxE35QHOs5exm3ogF5zaDNh3NerBffQfz6Sz3KoGvelcvGkIui1wXLc2qzG:7WupQHTooQj0auKCJtIuj1fRZvSUb
TLSHT11171745AD8786DFC25A20C8B50B592FA664F8BD339EC4C15F51AF628631F2C451F307A
tar:gnameroot
tar:unameroot
hashlookup:parent-total48
hashlookup:trust100

Network graph view

Parents (Total: 48)

The searched file hash is included in 48 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
FileSize12920
MD537AB0ACED708CF97AA0357753B4D446E
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcryptominisat5-dev
PackageSectionlibdevel
PackageVersion5.8.0+dfsg1-1build2
SHA-10A53A6D14BDAF8389E5FF8D691E42C39F607525C
SHA-2565239BFD0151CDA073074028BD880521EB3406B18257487FC7AB258DC0968ADD4
Key Value
MD59E1E321A7DFBA7C40F99AF5BF2D6CB27
PackageArchx86_64
PackageDescriptionThis package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecryptominisat-debugsource
PackageRelease3.fc34
PackageVersion5.8.0
SHA-10AFA0AF002C80F763C4C386812317F0A27F0E1EE
SHA-256DE53D15A521BBBE15F2F2FB0401DB5B50CC41CB5F2DCEEE4B4BF88ED19BF341C
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
FileSize13944
MD5D7E528007DA8B16E5F541D864DD9667E
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.8.0+dfsg1-1+b3
SHA-114664AB16420EB6F70E04CE5C0F5AEBC5DEF70D1
SHA-256512D60980A98781A03027F91B815A79B088DD89AF1C1937576F3F698396F0BFE
Key Value
MD5C3407956E7DECDE81EC5615931B0F3EE
PackageArcharmv7hl
PackageDescriptionHeader files for developing applications that use cryptominisat.
PackageMaintainerFedora Project
PackageNamecryptominisat-devel
PackageRelease3.fc34
PackageVersion5.8.0
SHA-1188BB680FF7E654B376D31A04CADDA6D02EC2A36
SHA-25624579C017266E9DAEABDA004B15A3E479121C122F96633AE5E1E6A33188DEEED
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
Key Value
MD5F293AA8FD23230F5F2E66A1555031691
PackageArchaarch64
PackageDescriptionThis package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecryptominisat-debugsource
PackageRelease4.fc33
PackageVersion5.7.1
SHA-122DE1E57D9DE60C3B2029358EC55C3598DF0FFB0
SHA-256F384BBEEF54D524C6C2A693DDFCB5D786DB0B61429EA76BE61C042268B353952
Key Value
FileSize12912
MD5E78DA1E245A818380B5B6009F8EA6A67
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcryptominisat5-dev
PackageSectionlibdevel
PackageVersion5.8.0+dfsg1-1
SHA-1285E6B38C539FB7666A09EA8631D9060253426CD
SHA-256822C673AA15ECF3EBEF89C518C8F7B31DFAF7C8A32EF5971C4848F4F99EAF77D
Key Value
FileSize13948
MD5D9D1FB3832CC1E99E906574DDEDEC981
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.8.0+dfsg1-1+b2
SHA-12D2F07610CFB5AFEC233AC17BDDDBA470FCB0BCB
SHA-256EBF7EA87868F954305E41FEB2ABFCB7725A0D9B10DAF62880FBA1FD8E1F4460E





metalookup is a service from miwakeru.com