Fun and Games with CRV: Einstein’s Puzzle (Revisited)

Blog Comments
1

Two weeks ago, Aurelian from AMIQ published a post on how to solve the so-called Einstein's puzzle using e. At the end, he challenged us readers to try and improve on his solution. Not being one to shy away, I rolled up my sleeves and got to work.

This is a companion discussion topic for the original entry at https://verificationgentleman.netlify.app/2015/12/09/einsteins-puzzle.html
2

Hi, Tudor.

Great to see the challenge has been accepted. Using all_different and macros indeed shortens the size of the code.
I’ll post your improved solution on AMIQ’s GitHub and update the post with a reference.

Cheers,
Aurelian