Result for 751F5E5ED44FBF7F4C61EEDE891DA1F26B44E8CA

Search result
Graph view
Parent (30)

Query result

Key Value
FileName./usr/include/cryptominisat5/solvertypesmini.h
FileSize5214
MD52E53299FC757BDF6E3E9B114AC314C49
SHA-1751F5E5ED44FBF7F4C61EEDE891DA1F26B44E8CA
SHA-25632E44351053F92047F6D08507FF0587F3315684B39FB7FE581AD79BD2BEE7919
SSDEEP96:xupQHTowbjGn4C1G1gWQgS01hCglVCfuOrFPVQYeNyfVBy7dsTOVMWre2OKre2sT:kQHT/bEToKWQgS03CglVsuOrDQYtfVBT
TLSHT19DB1008428E24E21401B12B74F4FD0D1B5AC7043BAC8C9D1B56EF290BF0D479C6FA6E9
tar:gnameroot
tar:unameroot
hashlookup:parent-total30
hashlookup:trust100

Network graph view

Parents (Total: 30)

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

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
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
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
Key Value
FileSize13952
MD505C8B387604F3DB052FD79F154D9F174
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-13D1AD8C2B4941CB4FA89232895C8E8F3D3082FC6
SHA-2562AA34AD514A4445B36A4E2308AA79F2EEE61CAC7A360A387329BA864267D56B9
Key Value
FileSize13944
MD55682B2EA2399EBAD25D54D7490705B0C
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+b1
SHA-145ED96326E75A84E767F666CF08772F00C0A09CB
SHA-2563809F4616762B96C90587FC47BD2EDF9A02479E8963EF67C025FCB4309EEDA0C
Key Value
MD59E6B675B24783550BC9D479C4EFFFD65
PackageArchi686
PackageDescriptionHeader files for developing applications that use cryptominisat.
PackageMaintainerFedora Project
PackageNamecryptominisat-devel
PackageRelease3.fc34
PackageVersion5.8.0
SHA-154DD328819C0EA8541AAE7C9032AD15CAB4D17FD
SHA-2565708112AFF89C68D0E62CF38E3F1F2A3DE7A9C875C9B7A1799FCD99B389FA577
Key Value
FileSize13940
MD570E4A2E0942F183E20C6A5D29AC89E5F
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+b1
SHA-1554E17F4E927D3A63C3E4253F1381394D95269DA
SHA-256E3A9FA8C9A515A83502BCD90069B51986D60E59FE311D42DBBFC8CA751DC5936





metalookup is a service from miwakeru.com