[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
[Bug 812758] New: Review Request: trader - Star Traders, a simple game of interstellar trading
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: trader - Star Traders, a simple game of interstellar trading
https://bugzilla.redhat.com/show_bug.cgi?id=812758
Summary: Review Request: trader - Star Traders, a simple game
of interstellar trading
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: J.Zaitseff(a)zap.org.au
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.zap.org.au/pub/trader/unix/binary/fedora/trader.spec
SRPM URL:
ftp://ftp.zap.org.au/pub/trader/unix/binary/fedora/trader-7.3.99.2-1.fc16.src.rpm
Description: Star Traders, a simple game of interstellar trading
Home page: http://www.zap.org.au/software/trader/
Star Traders is a simple game of interstellar trading, where the objective
is to create companies, buy and sell shares, borrow and repay money, in
order to become the wealthiest player (the winner).
---
I originally wrote Star Traders for the CP/M-80 operating system, back in 1990.
As an exercise in pure nostalgia, I have rewritten it for modern Linux/POSIX
systems and am packaging it for a number of distributions. The game has even
been translated into a number of languages, including Russian, French, German,
Finnish and Croatian!
I would like Fedora to include this simple text-console game as part of its
distribution.
--
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, 10 months