Publishing details
Changelog
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/aspcud.sh
-- Ralf Treinen <email address hidden> Tue, 14 Jan 2014 10:51:17 +0100
Builds
Built packages
-
aspcud
CUDF solver based on Answer Set Programming
Package files