虚包: 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