Maybe I am too old school, but I can&#x27;t understand how all these fancy &#x27;constraint solvers&#x27; (and in another solution, definitions akin to genes and chromosomes (hair raising) <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11474613" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11474613</a>) are helping to write a standard brute-forcer for the flawed algorithm? Are these solvers doing anything more intelligent??