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