Group :: Sciences/Mathematics
RPM: z3
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 4.8.8-alt1
Build date: 10 july 2020, 07:53 ( 197.0 weeks ago )
Size: 3.07 Mb
Home page: https://github.com/Z3Prover/z3
License: MIT
Summary: High-performance theorem prover
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 10 july 2020, 07:53 ( 197.0 weeks ago )
Size: 3.07 Mb
Home page: https://github.com/Z3Prover/z3
License: MIT
Summary: High-performance theorem prover
Description:
Z3 is a high-performance theorem prover being developed at Microsoft
Research.
Current maintainer: Aleksei Nikiforov Research.
List of contributors List of rpms provided by this srpm:
- libz3
- libz3-debuginfo
- libz3-devel
- libz3-devel
- libz3-devel-docs
- python-module-z3
- python3-module-z3
- python3-module-z3
- z3
- z3-debuginfo