Well, a declarative language without a solver is like a car without an engine. I would suggest you to follow the rest of the guide and actually implement the solver. You can even follow their approach and use enumerators, either via the Base’s Sequence module or via the Iter library. You can even pack this in a monad, to make it easier to use and extend.