Skip to content
package names
descriptions
source package names
package contents
all options
Sections
>>
Trisquel
>>
Packages
>>
nabia
>>
virtual
>> cudf-solver
[
etiona
] [
nabia
] [
aramo
]
Virtual Package: cudf-solver
This is a
virtual package
. See the
Debian policy
for a
definition of virtual packages
.
Packages providing cudf-solver
aspcud
CUDF solver based on Answer Set Programming
mccs
multi-critera CUDF solver
packup
CUDF solver based on pseudo-Boolean constraints