Tautological PB constraints with no literals incorrectly considered asempty clauses
When creating PB constraints with no literal and a degree of 0 or -1 for instance, the solver launches a contradiction exception while it should just ignore those constraints.
This is particularly annoying when doing optimization.