You ratbag, you just cost me 10 minutes. :P Nice implementation though. :)

		taneq on March 6, 2017 \| parent \| context \| favorite \| on: Cracking Minesweeper with Z3 SMT Solver You ratbag, you just cost me 10 minutes. :P Nice implementation though. :)