Solving Enclose.Horse With CP-SAT

Yesterday (6 Jan), someone showed off a small clever puzzle game on Hacker News, called enclose.horse . An example puzzle looks like this: The game is played on a grid of grass or water tiles. The goal is to place walls so that the horse cannot escape (i.e. exit …