- Name: z3
- Version: 4.12.2
- Release: 2
- Epoch:
- Group: Applications/Engineering
- License: MIT
- Url: https://github.com/Z3Prover/z3
- Summary: High-performance theorem prover developed at Microsoft Research
- Architecture: i686
- Size: 5414667
- Distribution: PLD 3.0 (Th)
- Vendor: PLD
- Packager: PLD bug tracking system ( http://bugs.pld-linux.org/ )
Description:
Z3 is a high-performance theorem prover being developed at Microsoft
Research.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: ep09-pld 1699733438
- Buildhost: ep09-pld
Other version of this rpm: