Not strictly software development but in the general area: routing cables between devices in a rack https://web.archive.org/web/20190415054049/https://yurichev

Not strictly software development but in the general area: routing cables between devices in a rack https://web.archive.org/web/20190415054049/https://yurichev.com/blog/cabling_Z3/ https://web.archive.org/web/20190415054049/https://yurichev.... Inspired by that, I tried to use Z3 to solve the "best arrangement of letters on a linear typewriter" problem but never got a good answer because the solution space is far too large (26! which is seven hundred ninety-eight trillion, seven hundred twenty billion, nine hundred fifty-two million, one hundred seventy-six thousand, seven hundred and forty-five years at 16000 iterations a second.)