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)
[ Parent
| on HN ]
There are no comments on this comment yet.