https://bugzilla.redhat.com/show_bug.cgi?id=1808467
Bug ID: 1808467
Summary: Review Request: python-pysmt - Solver-agnostic library
for SMT Formulae manipulation and solving
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Target Milestone: ---
Classification: Fedora
Spec URL: https://fab.fedorapeople.org/packages/SRPMS/python-pysmt.spec
SRPM URL:
https://fab.fedorapeople.org/packages/SRPMS/python-pysmt-0.8.0-1.fc31.src.rpm
Project URL: http://www.pysmt.org
Description:
A library for SMT formulae manipulation and solving pySMT makes working
with Satisfiability Modulo Theory simple. Among others, you can:
* Define formulae in a solver independent way in a simple and inutitive way
* Write ad-hoc simplifiers and operators
* Dump your problems in the SMT-Lib format
* Solve them using one of the native solvers
* Wrapping any SMT-Lib complaint
Koji scratch build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=41987982
rpmlint output:
$ rpmlint python-pysmt-0.8.0-1.fc31.src.rpm
python-pysmt.src: W: spelling-error %description -l en_US formulae -> formula,
formulate, formulas
python-pysmt.src: W: spelling-error %description -l en_US inutitive ->
intuitive, nutritive, diminutive
python-pysmt.src: W: spelling-error %description -l en_US hoc -> ho, choc, hock
python-pysmt.src: W: spelling-error %description -l en_US simplifiers ->
simplifies, amplifiers, oversimplify
1 packages and 0 specfiles checked; 0 errors, 4 warnings.
$ rpmlint python3-pysmt-0.8.0-1.fc31.noarch.rpm
python3-pysmt.noarch: W: spelling-error %description -l en_US formulae ->
formula, formulate, formulas
python3-pysmt.noarch: W: spelling-error %description -l en_US inutitive ->
intuitive, nutritive, diminutive
python3-pysmt.noarch: W: spelling-error %description -l en_US hoc -> ho, choc,
hock
python3-pysmt.noarch: W: spelling-error %description -l en_US simplifiers ->
simplifies, amplifiers, oversimplify
python3-pysmt.noarch: W: no-manual-page-for-binary pysmt
python3-pysmt.noarch: W: no-manual-page-for-binary pysmt-install
python3-pysmt.noarch: W: no-manual-page-for-binary pysmt-shell
1 packages and 0 specfiles checked; 0 errors, 7 warnings.
Fedora Account System Username: fab
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]
