description: CUDF solver based on the Answer Set Programming tools clasp and gringo
exec: /usr/bin/aspcud $in $out $pref
cudf-version: 2.0
