save
typo
Merge branch 'develop' into choco3
Fix RelocatableVMModel

46 failures left
No more failures in action model
Fix CBan

RP created a bounded variable for hosters ...
Fix CGather

Identify a consistency flaw in Choco3 when a problem is detected to have no solution before the solving process starts
Prevent infinite loop in some bugged tests.

30 failures left. Most of them due to the RuntimeException() when there is no solution before the solving process starts
Fix test in issue5a
28 failures left.