Package: mccs Version: 1:1.1-7 Severity: wishlist With the attached patch, mccs understands clasps output (which does not always end with a space at the end of a line, as mccs seems to expect) and writes the PB problem in a way that clasp understands it, by rendering <= constraints as >= ones.
This allows mccss -pblib /usr/bin/clasp to work, which is faster than the standard solver, and significantly outperforms aspcud (well aspcud tries to cross-grade part of my system to i386..., so not really comparable). -- System Information: Debian Release: buster/sid APT prefers cosmic APT policy: (500, 'cosmic'), (100, 'cosmic-proposed') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.15.0-20-generic (SMP w/8 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages mccs depends on: ii coinor-cbc 2.9.9+repack1-1 ii libc6 2.27-3ubuntu1 ii libcolamd2 1:5.2.0+dfsg-1 ii libgcc1 1:8.1.0-1ubuntu3 ii libstdc++6 8.1.0-1ubuntu3 mccs recommends no packages. mccs suggests no packages. -- no debconf information -- debian developer - deb.li/jak | jak-linux.org - free software dev ubuntu core developer i speak de, en
