Author: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Description: compatibilty with clasp3

diff -rupN aspcud-1.8.0-source.orig/scripts/aspcud.sh aspcud-1.8.0-source/scripts/aspcud.sh
--- aspcud-1.8.0-source.orig/scripts/aspcud.sh	2014-02-26 19:22:21.386850784 +0100
+++ aspcud-1.8.0-source/scripts/aspcud.sh	2014-02-26 19:24:19.192141602 +0100
@@ -63,7 +63,7 @@ function usage()
 base="$(dirname "$(readlink -f "$0")")"
 
 # default options
-clasp_opts_def=( "--opt-heu=1" "--sat-prepro" "--restarts=L,128" "--heuristic=VSIDS" "--opt-hierarch=1" "--local-restarts" "--del-max=200000,250" "--save-progress=0" )
+clasp_opts_def=( "--opt-strategy=5" )
 unclasp_opts_def=( )
 gringo_opts_def=( "$(enc misc2012.lp)" )
 
