run* returns a lazy sequence. Would it be possible to put some finite domain constraints in an atom and have the constraints consulted each time I want to realise more of the sequence? Failing this, I'd have to call run* each time I have updated constraints.
(As some background, I'm using data coming out of run* to derive constraints as I go)