仮想パッケージ: 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