packages
Skip to content
パッケージ名
パッケージ説明
ソースパッケージ名
パッケージの内容
すべてのオプション
»
Ubuntu
»
パッケージ
»
resolute (26.04LTS)
»
virtual
» cudf-solver
[
jammy
] [
noble
] [
questing
] [
resolute
] [
stonking
]
仮想パッケージ: 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