Logic-puzzle solver

diagram of work