>> Trisquel >> Pakketten >> etiona >> virtual >> cudf-solver

[ etiona ] [ nabia ] [ aramo ]

Virtueel pakket: cudf-solver

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die cudf-solver bieden:

aspcud: CUDF solver based on Answer Set Programming
mccs: multi-critera CUDF solver
packup: CUDF solver based on pseudo-Boolean constraints