Skip to content
paket adları
açıklamalar
kaynak paket adları
paket içerikleri
tüm seçenekler
Sections
>>
Trisquel
>>
Paketler
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Sanal Paket: cudf-solver
Bu bir
sanal pakettir
.
Sanal paketlerin tanımı
için
Debian ilkesine
bakın.
cudf-solver sağlayan paketler
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints