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!
Are there any updates on this? This is recommended solver for OPAM (OCaml Package Manager).
Marking this review as 'Stalled'. I'm not motivated to make this happen anymore - anyone should feel free to pick it up if they're interested.