aspcud - CUDF solver based on Answer Set Programming

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name aspcud
Package version 1.9.0
Package release 2
Package architecture amd64
Package type deb
Installed size 572 B
Download size 141.01 KB
Official Mirror
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.


Package Version Architecture Repository
aspcud_1.9.0-2_i386.deb 1.9.0 i386 Debian Main
aspcud - - -


Name Value
clasp << 4
clasp >= 3.0.0
gringo >= 4.2.1
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.9


Name Value
cudf-solver -


Type URL
Binary Package aspcud_1.9.0-2_amd64.deb
Source Package aspcud

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install aspcud deb package:
    # sudo apt-get install aspcud




2014-06-21 - Ralf Treinen <>
aspcud (1:1.9.0-2) unstable; urgency=medium
* add debian/watch
2014-02-26 - Ralf Treinen <>
aspcud (1:1.8.0-3) unstable; urgency=low
* migrate to clasp 3:
- bump version in build-dependency on clasp
- add patch clasp3 provided by upstream
* add version to build-dependency on re2c, according to INSTALL file
2014-01-14 - Ralf Treinen <>
aspcud (1:1.8.0-2) unstable; urgency=low
* Fix package autotest (closes: #735138). Thanks to Matthias Klose and
Martin Pitt for their indications!
- add dependency of the test on aspcud
- send all output to stderr instead of /dev/null, allow test to
produce output on stderr
- fix location of input directory
- use /tmp for temporary files when TMPDIR not set
* Add dependency on python, needed by scripts/
2014-01-11 - Ralf Treinen <>
aspcud (1:1.8.0-1) unstable; urgency=low
* New upstream release. This version runs with gringo 4 (closes: #733494)
* debian/control: add XS-Testsuite.
* Adapt patches to new upstream: pathes, add-trendy-criterion.
* bump dependency on gringo to >= 4
* restrict dependency on clasp to << 3.
* put test cases from version 2012.10.24 into debian/tests/cudf and 
modify debian/tests/upstream accordingly since this upstream release 
does not contain any test cases.
2013-12-17 - Ralf Treinen <>
aspcud (2012.10.24-6) unstable; urgency=medium
* Upload with urgency medium to migrate to testing before gringo 4
* Put version constraint (<< 4) on dependency on gringo, following info
received from upstream.
* Standards-Version 3.9.5 (no change).
* Add as-installed package test:
- add DEP-8 style debian/tests/control
- add debian/tests/upstream test script
2013-10-09 - Ralf Treinen <>
aspcud (2012.10.24-5) unstable; urgency=low
* debian/solvers/aspcud: quote arguments to allow for shell metacharacters
in arguments. Thanks to Pietro Abate for the hint.
2013-06-29 - Ralf Treinen <>
aspcud (2012.10.24-4) unstable; urgency=low
* add sed script /usr/share/aspcud/misc11-to-misc12 based on an idea by
Roberto Di Cosmo (thanks!)
* Patch misc11-backward-compatiblity: translate optimization criteria
in MISC11 style to MISC12.
2013-05-24 - Ralf Treinen <>
aspcud (2012.10.24-3) unstable; urgency=low
* Fix changelog entry of previous upload (experimental -> unstable)
* debian/control: update vcs-* fields (collab-maint git on alioth)
* drop debian/svn-deblayout, add debian/gbp.conf (force pristine-tar)
* debian/copyright: drop comment on omitting file cmake/macros.cmake
that does no longer apply 
2013-05-10 - Ralf Treinen <>
aspcud (2012.10.24-2) unstable; urgency=low
* upload to unstable

See Also

Package Description
aspectc++_1.2-1_amd64.deb aspect-oriented programming extension for C++
aspectj-doc_1.8.3-2_all.deb aspect-oriented extension for Java - documentation
aspectj_1.8.3-2_all.deb aspect-oriented extension for Java - tools
aspell-am_0.03-1-5_all.deb Amharic dictionary for aspell
aspell-ar-large_1.2-0-3_all.deb Large Arabic dictionary for aspell
aspell-ar_0.0.20060329-5_all.deb Arabic dictionary for aspell
aspell-bg_4.1-3_all.deb Bulgarian dictionary for aspell
aspell-bn_0.01.1-1-2_all.deb Bengali (bn) dictionary for GNU aspell
aspell-br_0.50-2-6_all.deb Breton dictionary for GNU Aspell
aspell-ca_0.20111230b-7_all.deb Catalan dictionary for aspell
aspell-cs_0.51.0-1_all.deb Czech dictionary for GNU Aspell
aspell-cy_0.50-3-6_all.deb Welsh dictionary for GNU Aspell
aspell-da_1.6.36-5_all.deb The Comprehensive Danish Dictionary (DSDO) - aspell
aspell-de-alt_2-28_all.deb German dictionary for aspell (old spelling)
aspell-de_20131206-5_all.deb German dictionary for aspell