News for hackers. Stuff that matters.
Re:Cracking Minesweeper with Z3 SMT Solver by eutectic on Monday March 06, 2017 @02:02AM (#13801137)
I just tried a version of this as a test for myself. I was able to create a very serviceable minesweeper clone in pygame, finishing up at almost exactly the 1 hour mark.

I didn't have time to include a game-over animation, an in-game timer, or a way to select different settings, but the core mechanics were all there.

Pygame is a very nice environment for games programming when you want to do something fairly simple.

There are no comments on this comment yet.