Skip to content
имена на пакети
описания
имена на пакети-източници
съдържание на пакети
всички настройки
Sections
>>
Trisquel
>>
Пакети
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Виртуален пакет: cudf-solver
Това е
виртуален пакет
. Вижте
Политиката на Дебиан
за
дефиницията на виртуален пакет
.
Пакети, предлагащи cudf-solver
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints