Some problems are indeed tackled faster by having a simulation allowing to explore potential solutions. It's tempting to go very formal and theoretical but it'd require more effort and be more error prone.

Nice article. Keep an eye on potential collisions indeed. Depending on the use of your hashes this can be critical.