3 ms·

The trick with the `while` loop is smart! ;) Exactly what I wanted to achieve. Thanks! In your first post, you mentioned that the Z3 (which I agree with you is

by krasi0 7y ago

The trick with the `while` loop is smart! ;) Exactly what I wanted to achieve. Thanks! In your first post, you mentioned that the Z3 (which I agree with you is awesome!) solution is less clever than the generic Python one. What additional changes would you implement in order to make it more clever or did you mean something else entirely?

Recursing 7y ago
"Less clever" was used with a positive connotation, as in "simpler"
- krasi0 7y ago
  Ah, gotcha. That makes sense. I really appreciate your help with the above code. I've been meaning to get deeper into the wonderful world of Z3 for a while now and it seems like the time has come :)