this gives a more honest version of 'no division'

org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java

@@ -131,7 +131,8 @@ public class MapPb implements IDataStructurePB {
             }
         }
         if (newcase) {
-            BigInteger value = this.weightedLits.getCoef(0);
+            return false;
+            /*BigInteger value = this.weightedLits.getCoef(0);
             for (int i = 1; i < size(); i++) {
                 if (!this.weightedLits.getCoef(i).equals(value)) {
                     return false;
@@ -141,7 +142,7 @@ public class MapPb implements IDataStructurePB {
             BigInteger[] division = degree.divideAndRemainder(value);
             if (!division[1].equals(BigInteger.ZERO))
                 division[0] = division[0].add(BigInteger.ONE);
-            this.cardDegree = division[0];
+            this.cardDegree = division[0];*/
         } else
             this.cardDegree = degree;
         return true;