Skip to content
namn på paket
beskrivningar
namn på källkodspaket
innehåll i paket
alla flaggor
Sections
>>
Trisquel
>>
Paket
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Virtuellt paket: cudf-solver
Detta är ett
virtuellt paket
. Se
Debians policy
för en
definition av virtuella paket
.
Paket som tillhandahåller cudf-solver
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints