Parents (Total: 24)

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

Key	Value
MD5	FFA6C411680F6FDD71769BB07A38DEA8
PackageArch	aarch64
PackageDescription	Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
PackageMaintainer	Fedora Project
PackageName	z3
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	4C6110B8F9FC47F7C66DFAA9885B1D5ED1E1A45A
SHA-256	75E19A518D92628C7FDA12AB131C77ADA3A9A34456C7C858CFB88CB2DFBC000C

Key	Value
MD5	2E6EF5F9E413C9BD8BA7EF175C118497
PackageArch	ppc64
PackageDescription	Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
PackageMaintainer	Fedora Project
PackageName	z3
PackageRelease	4.fc24
PackageVersion	4.4.1
SHA-1	55B29E866D0A9A4FAC111F7C601CDCBEDE1FA5E4
SHA-256	64B8E1BE17C33CC29D01B7FA9B7D6A82441E7EB7417611751D3FAABFE6374BBF

Key	Value
FileSize	4820244
MD5	860CEC2959126FCDB7391BB6C217C299
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb9u1
SHA-1	5C5DF133A51FE7293F3836FAEEF840B048D3A79F
SHA-256	BA840D5D3488AF47E980B442A74D49D905ABBDD61D630BCC59E7E934170F135D

Key	Value
FileSize	4366108
MD5	92DC8DF6C9A7656D09C2794E6BC7FAA0
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb10u1
SHA-1	68FF6FD39CDCFDA386F3097CCE6CDD34E666AEDA
SHA-256	30DE5872FC3C4285050462F2DA9D24C4D32691B04B8BE3A9599D796ADFE57272

Key	Value
FileSize	4239594
MD5	581F364240AF8125B7D3EB514DB38BD9
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb9u1
SHA-1	7426267ABF150B038B59AE6E651A35FC6065041D
SHA-256	52FCBA6F7772F5539B83907CFA89950986AB3C0AE49ECC4CD031E0AA24AA0263

Key	Value
FileSize	4707858
MD5	667D0F85E297B19A0DD08B2AC107B504
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb9u1
SHA-1	796C41723EBC447851B5EBA16FEE60F2F06A1F9C
SHA-256	2D28C8EC1284818FAAD0C700681316A1842733C10B404296A43F52CA005DC665

Key	Value
FileSize	4331076
MD5	21D639C7EF7AF0065C5DFFDA1CD665EB
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb10u1
SHA-1	8A66FE768A33442367D52DB9986B2F8C42AE28FD
SHA-256	BC455DF70DBC89583218FB198DE86E42FD8636F696A88A149D7BCB2219797CF8

Key	Value
FileSize	4234076
MD5	DA9B2A3119102A5DD597142C69DF09B8
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb10u1
SHA-1	8B4C6ED2D075E223E932A5402F1D41EC3E33EBE2
SHA-256	D31595B9C19D08EAC771AD11790025E46403B4B42D7A49CE11F08CF2B9D659AA

Key	Value
FileSize	4420292
MD5	F33CA1150D856FAEB479E999F81529D2
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb9u1
SHA-1	A4D9CAE9B17908FFE0CC3EFF972C6DF053DC1154
SHA-256	486C59ADF2307FBCD3B1D3FAAA5E209D1EC32556F83216E239C6F06BD97B4B9D

Key	Value
FileSize	5712528
MD5	A1D65176601B33BC8AC5266639DE0697
PackageDescription	theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.4.1-1~deb9u1
SHA-1	A6ED5AEE4FF031B187A7082CFE5B94E6B9585F51
SHA-256	A7666C6FF790218E1B7738617F4ABF7E77CD051B33805725DDF9092D6E984C2A