Re:Cracking Minesweeper with Z3 SMT Solver
by awqrre on Sunday March 05, 2017 @10:21PM
(#13800451)
Probably not half, but way too much. I'm hoping that the recent Amazon downtime will help put the breaks to this trend.
[ Parent
| on HN ]
There are no comments on this comment yet.