code: private Formula vec2clause(final LNGVector<Literal> literals) {
      final List<Literal> lits = new ArrayList<>(literals.size());
      for (final Literal l : literals)
        lits.add(l);
      return this.f.clause(lits);
    }
docs: Returns a clause for a vector of literals.
  @param literals the literals
  @return the clause