cpsupport changes optimal value

[Ingmar Dasseville]

Attached file prints a different value for the optimum with cpsupport on/off.

The expected value is cpsupport ON.

The resulting structure is however right in both cases.

[Broes De Cat]

Known issue (although I can't find it): currently, the printed value is not guaranteed to be the effective value of the optimization term (but rather some kind of debug output), as the value is printed by the solver and depends on which optimizations have been done during grounding. Solution: compute the value given the model in ModelExpansion.cpp and printr/return that one.

[Broes De Cat]

Fixes #696: minimization explicitly evaluates the minimization term in the resulting structure.

→ <<cset 1673655122d3>>

[Broes De Cat]

Fixes #696: minimization explicitly evaluates the minimization term in the resulting structure.

→ <<cset e97632928471>>

[Broes De Cat]

Fixes #696: minimization explicitly evaluates the minimization term in the resulting structure.

→ <<cset 48dacffe3819>>

[Broes De Cat]

Fixes #696: minimization explicitly evaluates the minimization term in the resulting structure.

→ <<cset 7c0c5d651e0d>>

[Broes De Cat]

Fixes #696: minimization explicitly evaluates the minimization term in the resulting structure.

→ <<cset 282eadb37578>>