Skip to content
názvy balíkov
popisy
názvy zdrojových balíkov
obsah balíkov
všetky možnosti
Sections
>>
Trisquel
>>
Balíky
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Virtuálny balík: cudf-solver
Toto je
virtuálny balík
. Pozrite si
politiku Debianu
, kde nájdete
definíciu virtuálnych balíkov
.
Balíky poskytujúce cudf-solver
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints