“Generate-and-Test” is a classical algorithmic paradigm commonly used as a heuristic search technique. A naive implementation of this technique would generate all the possible solutions for a problem and tests them for the “best” solution. By designing a specialized DSL for this paradigm, we show that the underlying classical intuition is all that is needed to express and understand common quantum algorithms.