# submission to Trendy Track

aspcud - a CUDF-Solver using Answer Set Programming

aspcud 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.
After parsing the CUDF-file into ASP-facts, these are extended by the problem modelling and one of the optimization-criterias parnoid or trendy.
Parsing is done in C++ via libCUDF.
The execution of the parsers and the ASP-solver is managed by a python-script.


invoke aspcud-trendy-1.2 to run the solver

type make to build the statically linked c++-parsers

2010-6-9: Version 1.2 by Oliver Matheis - ollbert@gmx.de
					- bugfix

2010-6-8: Version 1.1 by Oliver Matheis - ollbert@gmx.de
					- optimizes the different criterias 1 by 1
					- terminates proper when getting a kill signal

2010-6-7: Version 1.0 by Oliver Matheis - ollbert@gmx.de

