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

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие cudf-solver

aspcud

CUDF solver based on Answer Set Programming

mccs

multi-criteria CUDF solver

packup

CUDF solver based on pseudo-Boolean constraints