Skip to content
noms de paquets
descriptions
noms de paquets source
contenu du paquet
toutes les options
Sections
>>
Trisquel
>>
Paquets
>>
etiona
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Paquet virtuel : cudf-solver
Ceci est un
paquet virtuel
. Consultez la
charte Debian
pour une
définition des paquets virtuels
.
Paquets fournissant cudf-solver
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints