Skip to content
pakettien nimistä
kuvauksista
lähdepakettien nimistä
pakettien sisällöistä
Tarkennettu haku
Sections
>>
Trisquel
>>
Paketit
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Näennäispaketti: cudf-solver
Tämä on
näennäispaketti
. Katso
Debianin linjan kuvaksesta
näennäispaketin määritelmä
.
Paketit, jotka toteuttavat paketin cudf-solver
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints