Breadth-First Numbering: A Small Exercise in Algorithm Design (2000) [pdf]
cs.tufts.edu
cs.tufts.edu
Backtracking Iterators
Jean-Christophe Filliâtre
https://www.lri.fr/~filliatr/publis/enum2.pdfThat is, it seems sad that we have programmers that would shun or pick tools strictly on their paradigm. And, knowing that such exist, it seems somewhat obvious that some massive blind spots would emerge.