Virtuelles Paket: cudf-solver

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die cudf-solver bereitstellen

aspcud

CUDF solver based on Answer Set Programming

mccs

multi-critera CUDF solver

packup

CUDF solver based on pseudo-Boolean constraints