On Thu, Oct 01, 2015 at 09:26:55AM +0200, Johannes Schauer wrote: > To be sure, lets try to reproduce this in a clean chroot:
[...] Indeed. The problem is the new version of clasp in unstable (3.1.3-1). Downgrading clasp to 3.1.2-1 is a temporary workaround. I'll ask upstream to update aspcud to the new version of clasp. You might also notice that, with the new version of clasp installed and using an optimisation criterion, aspcud does not print any statistics about the solving process. Cheers -Ralf.
