code: private Assignment createAssignment(final LNGBooleanVector vec) {
      final Assignment model = new Assignment();
      for (int i = 0; i < vec.size(); i++) {
        final Literal lit = this.index2var.get(i);
        if (lit != null) {
          if (vec.get(i))
            model.addLiteral(lit);
          else
            model.addLiteral(lit.negate());
        }
      }
      return model;
    }
docs: Creates an assignment from a Boolean vector of the solver.
  @param vec the vector of the solver
  @return the assignment