Pseudo-Boolean Constraint toString into Parser Roundtrip does not work.

[logic-ng]

Pseudo-Boolean Constraint toString into Parser Roundtrip does not work.

[czengler]

Absolutely right. The question ist: should

(1) the parser be able to parse A + B = 1 or should
(2) the toString() be 1 * A + 1 * B = 1.

(2) is very easy to implement, (1) would be more elegant to read. Any preferences?

[d-bischoff]

Well yes indeed. Exactly my thinking.

Which probably already answers your question. I would prefere Option 1, but as a work around 2 is also fine. Would you agree?

[czengler]

OK. I went for the elegant solution :) This will be part of Release 1.1. You can test the implementation in the release_1.1 branch. Please give feedback, if everything works as expected.

[d-bischoff]

Will do. Thanks!

[d-bischoff]

I have yet to find any problems related to the new parser. Thanks again.