code: public void addName(final String name, int id) {
      this.name2idx.put(name, id);
      this.idx2name.put(id, name);
    }
docs: Adds a new variable name with a given variable index to this solver.
  @param name the variable name
  @param id   the variable index