Virtueel pakket: cudf-solver

This is a virtual package. See the Debian policy for a definition of virtual packages.

Pakketten die cudf-solver bieden:

aspcud

CUDF solver based on Answer Set Programming

Deze pagina is ook beschikbaar in de volgende talen: