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