[Bug 1093500] New: Review Request: clasp - A conflict-driven nogood learning answer set solver
by Red Hat Bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500
Bug ID: 1093500
Summary: Review Request: clasp - A conflict-driven nogood
learning answer set solver
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: logans(a)cottsay.net
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: http://cottsay.fedorapeople.org/clasp/clasp.spec
SRPM URL: http://cottsay.fedorapeople.org/clasp/clasp-3.0.1-1.fc21.src.rpm
Description:
clasp is an answer set solver for (extended) normal and disjunctive logic
programs. It combines the high-level modeling capacities of answer set
programming (ASP) with state-of-the-art techniques from the area of Boolean
constraint solving. The primary clasp algorithm relies on conflict-driven
nogood learning, a technique that proved very successful for satisfiability
checking (SAT). Unlike other learning ASP solvers, clasp does not rely on
legacy software, such as a SAT solver or any other existing ASP solver. Rather,
clasp has been genuinely developed for answer set solving based on
conflict-driven nogood learning. clasp can be applied as an ASP solver (on
SMODELS format, as output by Gringo), as a SAT solver (on a simplified version
of DIMACS/CNF format), or as a PB solver (on OPB format).
Fedora Account System Username: cottsay
Copr builds (F19, F20 and rawhide):
http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/
rpmlint output:
SPECS/clasp.spec:43: W: configure-without-libdir-spec
clasp.src: W: spelling-error Summary(en_US) nogood -> no good, no-good, Gounod
clasp.src: W: spelling-error %description -l en_US nogood -> no good, no-good,
Gounod
clasp.src: W: spelling-error %description -l en_US satisfiability ->
insatiability, advisability
clasp.src:43: W: configure-without-libdir-spec
clasp.x86_64: W: spelling-error Summary(en_US) nogood -> no good, no-good,
Gounod
clasp.x86_64: W: spelling-error %description -l en_US nogood -> no good,
no-good, Gounod
clasp.x86_64: W: spelling-error %description -l en_US satisfiability ->
insatiability, advisability
clasp.x86_64: W: no-manual-page-for-binary clasp
clasp-devel.x86_64: W: no-documentation
4 packages and 1 specfiles checked; 0 errors, 10 warnings.
Notes:
- Because this is part of a chained group of packages (clasp => gringo =>
clingo => aspcud), I opted to use copr for test builds instead of koji.
- This package contains static-only libraries and adheres to the guidelines
[1].
- The latest version of this project is not directly compatible with the other
packages in this group, so to avoid bundling the this version of clasp in the
other three, I needed to fall back to the version that they used in those
bundles.
- rpmlint reports "configure-without-libdir-spec", but if I include a libdir
option, the configure fails because it is not an option. Installation is done
manually, so this isn't a problem.
Thanks!
[1]
https://fedoraproject.org/wiki/Packaging:Guidelines#Packaging_Static_Libr...
--
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
6 years, 9 months
[Bug 807476] New: Review Request:evm-utils -IMA/EVM support utilities
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request:evm-utils -IMA/EVM support utilities
https://bugzilla.redhat.com/show_bug.cgi?id=807476
Summary: Review Request:evm-utils -IMA/EVM support utilities
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: pwouters(a)redhat.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
Spec URL: ftp://ftp.nohats.ca/ima/evm-utils.spec
SRPM URL:
ftp://ftp.nohats.ca/ima/evm-utils-0.1-1.20110337gitae4710111.fc17.src.rpm
Description: IMA/EVM support utilities
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
6 years, 9 months