code: private Assignment createAssignment(final LNGBooleanVector vec, final LNGIntVector relevantIndices) {
      final Assignment model = new Assignment();
      if (relevantIndices == null) {
        for (int i = 0; i < vec.size(); i++) {
          model.addLiteral(this.f.literal(this.solver.nameForIdx(i), vec.get(i)));
        }
      } else {
        for (int i = 0; i < relevantIndices.size(); i++) {
          final int index = relevantIndices.get(i);
          if (index != -1) {
            model.addLiteral(this.f.literal(this.solver.nameForIdx(index), vec.get(index)));
          }
        }
      }
      return model;
    }
docs: Creates an assignment from a Boolean vector of the solver.
  @param vec             the vector of the solver
  @param relevantIndices the solver's indices of the relevant variables for the model.  If {@code null}, all
  variables are relevant.
  @return the assignment