Debugging a Logic Circuit in IDP-Z3

In my previous blog post , I showed how we can solve a puzzle in the IDP-Z3 reasoning engine . It was inspired by a post by Hillel Wayne , who modelled the puzzle in Prolog. He starts the article by stating how, for his book, he prefers showing off logic programming through practical examples instead of small puzzles, which I quite agree with. Here's the good news: in this post, I'll show you how…