code: private void encodeNonRecursive(final LNGVector<Literal> literals) {
      if (literals.size() > 1)
        for (int i = 0; i < literals.size(); i++)
          for (int j = i + 1; j < literals.size(); j++)
            this.result.addClause(literals.get(i).negate(), literals.get(j).negate());
    }
docs: Internal non recursive encoding.
  @param literals the current literals