Virtuellt paket: cudf-solver

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller cudf-solver

aspcud

CUDF solver based on Answer Set Programming

mccs

multi-criteria CUDF solver

packup

CUDF solver based on pseudo-Boolean constraints