https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Bug ID: 1093522 Summary: Review Request: aspcud - Solver for package dependencies 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/aspcud/aspcud.spec SRPM URL: http://cottsay.fedorapeople.org/aspcud/aspcud-1.9.0-1.fc21.src.rpm
Description: Aspcud is a solver for package dependencies. A package universe and a request to install, remove, or upgrade packages have to be encoded in the CUDF format. Such a CUDF document can then be passed to aspcud along with an optimization criteria to obtain a solution to the given package problem.
Fedora Account System Username: cottsay
Copr builds (F19, F20 and rawhide): http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/
rpmlint output: 4 packages and 1 specfiles checked; 0 errors, 0 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.
Thanks!
https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Scott K Logan logans@cottsay.net changed:
What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1093521
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1093521 [Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs
https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Scott K Logan logans@cottsay.net changed:
What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1093516
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1093516 [Bug 1093516] Review Request: gringo - Grounding tools for (disjunctive) logic programs
https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Rich Mattes richmattes@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |richmattes@gmail.com Blocks| |1225692
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1225692 [Bug 1225692] Tracker for Fedora Robotics SIG
https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Anton Kochkov anton.kochkov@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |anton.kochkov@gmail.com
--- Comment #1 from Anton Kochkov anton.kochkov@gmail.com --- Are there any updates on this? This is recommended solver for OPAM (OCaml Package Manager).
package-review@lists.fedoraproject.org