Виртуален пакет: cudf-solver

Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.

Пакети, предлагащи cudf-solver

aspcud

CUDF solver based on Answer Set Programming

mccs

multi-criteria CUDF solver

packup

CUDF solver based on pseudo-Boolean constraints