Bug 1839885

Summary:	Review Request: python-z3-solver - A theorem prover
Product:	[Fedora] Fedora	Reporter:	W. Michael Petullo <mike>
Component:	Package Review	Assignee:	Nobody's working on this, feel free to take it <nobody>
Status:	CLOSED NOTABUG	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	medium	Docs Contact:
Priority:	medium
Version:	rawhide	CC:	package-review
Target Milestone:	---
Target Release:	---
Hardware:	All
OS:	Linux
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2020-05-26 20:07:13 UTC	Type:	---
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description W. Michael Petullo 2020-05-25 20:28:29 UTC

Spec URL: https://www.flyn.org/SRPMS/python-z3-solver.spec
SRPM URL: https://www.flyn.org/SRPMS/python-z3-solver-4.8.8.0-1.fc32.src.rpm
Description:
Z3 is a theorem prover from Microsoft Research with support for
bitvectors, booleans, arrays, floating point numbers, strings, and other
data types.
Fedora Account System Username: mikep

Comment 1 W. Michael Petullo 2020-05-26 20:07:13 UTC

This is already provided as python-z3. I did not notice that before proposing this package.