aspuncud - a CUDF-solver based on clasp with unsatisfiable core elimination.

aspuncud is a CUDF-solver, which means it is able to find upgrade-solutions for package-based Free and Open Source Software distribution described in CUDF-format.
The kernel of the solver is the Potsdam Answer Set Solving Collection - Potassco.
The CUDF-file is parsed into a ASP-program by aspcud and solved by unclasp a experimental variant of clasp implementing iterative unsatisfiable core elimination as proposed in Zhaohui Fu and Sharad Malik - On Solving The Partial MAX-SAT Problem.
Solver for paranoid track Solver for trendy track Solver for user track contact: Ollbert@gmx.de