Bug 1093522

Summary: Review Request: aspcud - Solver for package dependencies
Product: [Fedora] Fedora Reporter: Scott K Logan <logans>
Component: Package ReviewAssignee: Nobody's working on this, feel free to take it <nobody>
Status: CLOSED NOTABUG QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: medium Docs Contact:
Priority: medium    
Version: rawhideCC: aleksey, anton.kochkov, package-review, richmattes, rjones, urkedal
Target Milestone: ---   
Target Release: ---   
Hardware: All   
OS: Linux   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2019-10-30 22:50:04 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On: 1093516, 1093521, 1733101    
Bug Blocks: 201449    

Description Scott K Logan 2014-05-02 00:51:27 UTC 
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!
Comment 1 Anton Kochkov 2017-08-02 10:31:56 UTC 
Are there any updates on this? This is recommended solver for OPAM (OCaml Package Manager).
Comment 2 Scott K Logan 2019-10-30 22:50:04 UTC 
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.