code: public void addWithRelaxation(final Variable relaxationVar, final Proposition proposition) {
          for (final Formula formula : proposition.formulas()) { this.addWithRelaxation(relaxationVar, formula); }
      }
docs: Adds a proposition to the solver.  The formulas of the proposition are first converted to CNF.
  @param relaxationVar the relaxation variable
  @param proposition   the proposition