description: CUDF solver based on the Pseudo-Boolean Constraint solver MiniSat+
exec: /usr/bin/packup -u $pref $in $out
cudf-version: 2.0
