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-criteria CUDF solver

packup

CUDF solver based on pseudo-Boolean constraints