Negative and zero weights in product sets

[Bart Bogaerts]

I created a fix that rewrites any product zo that it contains no more zero and negative weights. (SplitProducts.cpp)

However this cannot be implemented yet until bug <<issue 23>> is fixed.

What I want is to call SplitProducts once on the theory, when a grounderfactory visits the theory. However, in order to do this, we should first graph aggregates...

[Bart Bogaerts]

added prints for the tests that fail on zero weights in product sets, see issue 24

→ 5784d163edc5

[Bart Bogaerts]

Ik doe een laatste poging (verplaats de code toch lager -> deze nacht wat ideeën opgedaan)

[Bart Bogaerts]

fixed the negative and zero weights in product sets

FINALLY it works, fixes #24 Moved the splitting of products to the phase right before the solver instead of creating all those ugly formulas. Works, but can be optimized (not worth the effort, I think)

→ 534889b27fab

[Broes De Cat]

added prints for the tests that fail on zero weights in product sets, see issue 24

→ 5784d163edc5

[Broes De Cat]

fixed the negative and zero weights in product sets

FINALLY it works, fixes #24 Moved the splitting of products to the phase right before the solver instead of creating all those ugly formulas. Works, but can be optimized (not worth the effort, I think)

→ 534889b27fab

[Broes De Cat]

Removing milestone: First Release 25/12/2011 (automated comment)