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