Binary package “aspcud” in ubuntu xenial
CUDF solver based on Answer Set Programming
Aspcud is an experimental solver for package dependencies. A package
universe and a request to install, remove or upgrade packages have
to be encoded in the CUDF format.