“…In addition to the obvious brute‐force calculations, ZZDecomposer has been used in numerous applications 15–17,26–37 to find closed‐form formulas of ZZ polynomials for various families of basic catacondensed and pericondensed benzenoids, substantially extending the total body of previously available results 4,9–13,38–43 . The rapid development of the Clar theory stimulated by these discoveries in recent years leads to many new interesting applications and connections to other branches of chemistry, graph theory, and combinatorics 7,8,18,31,41–63 …”