code: public void clear() {
      this.posLiterals = new HashMap<>();
      this.negLiterals = new HashMap<>();
      this.generatedVariables = new HashSet<>();
      this.nots = new HashMap<>();
      this.implications = new HashMap<>();
      this.equivalences = new HashMap<>();
      this.ands2 = new HashMap<>();
      this.ands3 = new HashMap<>();
      this.ands4 = new HashMap<>();
      this.andsN = new HashMap<>();
      this.ors2 = new HashMap<>();
      this.ors3 = new HashMap<>();
      this.ors4 = new HashMap<>();
      this.orsN = new HashMap<>();
      this.pbConstraints = new HashMap<>();
      this.ccCounter = 0;
      this.pbCounter = 0;
      this.cnfCounter = 0;
    }
docs: Removes all formulas from the factory cache.