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

packup

CUDF solver based on pseudo-Boolean constraints