Bug 1093516 - Review Request: gringo - Grounding tools for (disjunctive) logic programs
Summary: Review Request: gringo - Grounding tools for (disjunctive) logic programs
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: 1093500
Blocks: FE-DEADREVIEW 1093521 1093522
TreeView+ depends on / blocked
 
Reported: 2014-05-02 00:14 UTC by Scott K Logan
Modified: 2019-10-22 02:20 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-10-22 02:20:51 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Scott K Logan 2014-05-02 00:14:20 UTC
Spec URL: http://cottsay.fedorapeople.org/gringo/gringo.spec
SRPM URL: http://cottsay.fedorapeople.org/gringo/gringo-4.3.0-1.fc21.src.rpm

Description:
Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. Gringo is such a grounder. Its output can be processed further with clasp, claspar, or claspfolio.

Fedora Account System Username: cottsay

Copr builds (F19, F20 and rawhide):
http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/

rpmlint output:
gringo-examples.noarch: W: doc-file-dependency /usr/share/doc/gringo-examples/examples/planning/convert.sh /bin/bash
gringo.x86_64: W: spelling-error %description -l en_US claspar -> clasp, Caspar
gringo.x86_64: W: spelling-error %description -l en_US claspfolio -> clasp folio, clasp-folio, classification
gringo.x86_64: W: no-manual-page-for-binary gringo
gringo-debuginfo.x86_64: E: debuginfo-without-sources
gringo-devel.x86_64: W: no-documentation
gringo.src: W: spelling-error %description -l en_US claspar -> clasp, Caspar
gringo.src: W: spelling-error %description -l en_US claspfolio -> clasp folio, clasp-folio, classification
5 packages and 1 specfiles checked; 1 errors, 7 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].
- rpmlint reports "debuginfo-without-sources" but the two packaged files are a single static library (no debuginfo) and a single executable, which was compiled from a single .cpp file and has no headers, so has nothing to install. You'd get the same result if you compiled a "Hello, World!" C++ program into an RPM.

Comment 1 Scott K Logan 2014-09-22 00:46:19 UTC
Updated version

Spec URL: https://cottsay.fedorapeople.org/gringo/gringo.spec
SRPM URL: https://cottsay.fedorapeople.org/gringo/gringo-4.4.0-1.fc20.src.rpm

Copr builds (F20, F21 and rawhide):
http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/

rpmlint output:
gringo.x86_64: W: spelling-error %description -l en_US claspar -> clasp, Caspar
gringo.x86_64: W: spelling-error %description -l en_US claspfolio -> clasp folio, clasp-folio, classification
gringo.x86_64: W: no-manual-page-for-binary gringo
gringo-devel.x86_64: W: no-documentation
3 packages and 1 specfiles checked; 0 errors, 4 warnings.

Thanks,

--scott

Comment 2 Scott K Logan 2019-10-22 02:20:51 UTC
Stalled

I'm not motivated to make this happen anymore - anyone should feel free to pick it up if they're interested.


Note You need to log in before you can comment on or make changes to this bug.