Order of added constraints affects the results of RemiUtils
The order in which the pseudo boolean constraints are added to the solver affects the result of RemiUtils which should not be the case in my opinion. I found out that the constraint that will be added at first causes the problem. If this constraint is added later, the expected result will be returned ("4,5,6"). Otherwise RemiUtils.backbone() returns "4,5" which is obviously wrong because the constraint "+1 x6 >= 1" requires literal 6 to be true in all satisfying assignments.
- Sebastian