2 ms·

Also good in the same category: Backtracking Iterators Jean-Christophe Filliâtre https://www.lri.fr/~filliatr/publis/enum2.pdf