code: protected void initialize() {
      this.initializeConfig();
      this.ok = true;
      this.qhead = 0;
      this.clauses = new LNGVector<>();
      this.learnts = new LNGVector<>();
      this.watches = new LNGVector<>();
      this.vars = new LNGVector<>();
      this.orderHeap = new LNGHeap(this);
      this.trail = new LNGIntVector();
      this.trailLim = new LNGIntVector();
      this.model = new LNGBooleanVector();
      this.conflict = new LNGIntVector();
      this.assumptions = new LNGIntVector();
      this.seen = new LNGBooleanVector();
      this.analyzeStack = new LNGIntVector();
      this.analyzeToClear = new LNGIntVector();
      this.analyzeBtLevel = 0;
      this.claInc = 1;
      this.simpDBAssigns = -1;
      this.simpDBProps = 0;
      this.clausesLiterals = 0;
      this.learntsLiterals = 0;
      this.name2idx = new TreeMap<>();
      this.idx2name = new TreeMap<>();
      this.canceledByHandler = false;
      if (this.config.proofGeneration) {
        this.pgOriginalClauses = new LNGVector<>();
        this.pgProof = new LNGVector<>();
      }
    }
docs: Initializes the internal solver state.