News for hackers. Stuff that matters.
Re:Cracking Minesweeper with Z3 SMT Solver by saghm on Sunday March 05, 2017 @04:40PM (#13798872)
Oh, really? I guess I was just misremembering things. Thanks for correcting me here! (not sarcastic, genuinely happy to be corrected when I remember things wrong)

There are no comments on this comment yet.