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 rende
Control: tag -1 patch
On Thu, Jun 21, 2018 at 01:01:44PM +0200, Julian Andres Klode wrote:
> 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)
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.
Th
3 matches
Mail list logo
