Binary package “aspcud” in ubuntu trusty
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.
Source package
Published versions
- aspcud 1:1.8.0-2 in amd64 (Proposed)
- aspcud 1:1.8.0-2 in amd64 (Release)
- aspcud 1:1.8.0-2 in arm64 (Proposed)
- aspcud 1:1.8.0-2 in arm64 (Release)
- aspcud 1:1.8.0-2 in armhf (Proposed)
- aspcud 1:1.8.0-2 in armhf (Release)
- aspcud 1:1.8.0-2 in i386 (Proposed)
- aspcud 1:1.8.0-2 in i386 (Release)
- aspcud 1:1.8.0-2 in powerpc (Proposed)
- aspcud 1:1.8.0-2 in powerpc (Release)
- aspcud 1:1.8.0-2 in ppc64el (Release)