Going on this "Brute Force" discussion... the CRC Zoo is computing the minimal hamming distances of various CRCs.

https://users.ece.cmu.edu/~koopman/crc/notes.html

I don't know what algorithm they're using, but the idea that you can make a hamming distance calculation over all possible input sets these days is pretty spectacular.