Bug 1839885 - Review Request: python-z3-solver - A theorem prover
Summary: Review Request: python-z3-solver - A theorem prover
Keywords:
Status: CLOSED NOTABUG
Alias: None
Product: Fedora
Classification: Fedora
Component: Package Review
Version: rawhide
Hardware: All
OS: Linux
medium
medium
Target Milestone: ---
Assignee: Nobody's working on this, feel free to take it
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2020-05-25 20:28 UTC by W. Michael Petullo
Modified: 2020-05-26 20:07 UTC (History)
1 user (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed: 2020-05-26 20:07:13 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

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.
Note You need to log in before you can comment on or make changes to this bug.