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