code: public PBConstraint pbc(final CType comparator, final int rhs, final List<? extends Literal> literals, final List<Integer> coefficients) {
      final int[] cfs = new int[coefficients.size()];
      for (int i = 0; i < coefficients.size(); i++)
        cfs[i] = coefficients.get(i);
      return this.constructPBC(comparator, rhs, literals.toArray(new Literal[0]), cfs);
    }
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