A logic puzzle solver