Arthur Godet

Results 4 issues of Arthur Godet

The idea is to remove unpost(Constraint... cstrs) method as it leads to a lot of confusion and the solver was not conceived for such a feature.

## Expected behavior Code coverage should not changed on files not concerned by a commit. ## Actual behavior Some tests are based on random instance generation and so some part...