Author: Ralf Treinen <treinen@debian.org>
Description: Add the "trendy" optimisation criterion

Index: aspcud/scripts/aspcud.sh
===================================================================
--- aspcud.orig/scripts/aspcud.sh	2014-01-10 21:11:05.391365529 +0100
+++ aspcud/scripts/aspcud.sh	2014-01-10 21:11:05.387365516 +0100
@@ -6,6 +6,14 @@
 cudf2lp_bin=/usr/lib/aspcud/bin/cudf2lp
 sharedir=/usr/share/aspcud
 
+trendycriterion="-count(removed),-notuptodate(solution),-unsat_recommends(solution),-count(new)"
+
+if [[ $3 == trendy ]]; then
+    criterion=$trendycriterion;
+else
+    criterion=$3
+fi
+
 function enc()
 {
 	for x in "." "$sharedir/encodings"; do
@@ -114,7 +122,7 @@
 clasp_opts=( "${clasp_opts[@]}" "${clasp_opts_implicit[@]}" )
 
 if [[ $# -eq 3 ]]; then
-	cudf_opts=( "${cudf_opts[@]}" "-c" "$3" )
+	cudf_opts=( "${cudf_opts[@]}" "-c" "$criterion" )
 elif echo $(basename "$0") | grep -q "paranoid"; then
 	[[ $# -ne 2 ]] && { die "error: exactly two arguments expected"; }
 	cudf_opts=( "${cudf_opts[@]}" "-c" "paranoid" )
