code: public void addWithRelaxation(final Variable relaxationVar, final Collection<? extends Formula> formulas) {
          for (final Formula formula : formulas) { this.addWithRelaxation(relaxationVar, formula); }
      }
docs: Adds a collection of formulas to the solver.
  @param relaxationVar the relaxation variable
  @param formulas      the collection of formulas