CPE Summary
CPE Names
Version 2.3: cpe:2.3:a:microsoft:z3:4.6.0:*:*:*:*:*:*:*
Version 2.2: cpe:/a:microsoft:z3:4.6.0
Quick Info
- Created On:
- 08/24/2023
- Last Modified On:
- 08/25/2023
Metadata
Titles:
Text | Locale |
---|---|
Microsoft Z3 4.6.0 | en_US |
References:
Type | Description | URL |
---|---|---|
Product | https://github.com/Z3Prover/z3 | |
Version | https://github.com/Z3Prover/z3/tags | |
Product | https://www.microsoft.com/en-us/research/project/z3-3/ |