Hacker News new | ask | show | jobs
by Recursing 2397 days ago
"Less clever" was used with a positive connotation, as in "simpler"
1 comments
krasi0 2397 days 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 :)
link