For complex mathematical & logical task solving we have mastered tools like Z3py and Sympy, which gives us results with less human error and with the speed of computing units.

An example would be Einstein's riddle. Solved with Z3py and in 80 lines of code. Calculated in less than a half second.

This is just a fan riddle, but the idea can be adopted for many other complex problems where there is a system with a lot of interconnected items and underlaying rules (like genetics).

Try to change some of the constraints below to see how it breaks the riddle. Leave default for correct answer. SPOILER ALARM!