code: public PBConstraint pbc(final CType comparator, final int rhs, final Literal[] literals, final int[] coefficients) {
      return constructPBC(comparator, rhs, Arrays.copyOf(literals, literals.length), Arrays.copyOf(coefficients, coefficients.length));
    }
docs: Creates a new pseudo-Boolean constraint.
  @param comparator   the comparator of the constraint
  @param rhs          the right-hand side of the constraint
  @param literals     the literals of the constraint
  @param coefficients the coefficients of the constraint
  @return the pseudo-Boolean constraint
  @throws IllegalArgumentException if the number of literals and coefficients do not correspond