4 ms·
"Less clever" was used with a positive connotation, as in "simpler"
by Recursing 7y ago
"Less clever" was used with a positive connotation, as in "simpler"
- krasi0 7y agoAh, 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 :)