In my previous blog post, I showed how we can solve a puzzle in the IDP-Z3 reasoning engine. | simonvandevelde.be
