Hello, On Thu, Jun 21, 2018 at 01:01:44PM +0200, Julian Andres Klode wrote:
> 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). Unfortunately, mccs with the patch applied returns incorrect results when launched with option "-pblib clasp". For instance, when you lauch it on examples/legacy.cudf from the mccs package you obtain a result which is not accepted by cudf-check since it says to install both gasoline-engine and electric-engine, which are in conflict. -Ralf.
