Skip to content
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
Sections
>>
Trisquel
>>
套件
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
虛擬套件: 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