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@fedoraproject.org Reporter: logans@cottsay.net QA Contact: extras-qa@fedoraproject.org CC: package-review@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_Librari...