虛擬套件： cudf-solver

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 cudf-solver 的套件

aspcud

CUDF solver based on Answer Set Programming

mccs

multi-critera CUDF solver

packup

CUDF solver based on pseudo-Boolean constraints