Tag Archives: minesweeper

用 Z3 解問題

在「5-Mar-2017: Cracking Minesweeper with Z3 SMT solver」這篇看到用 Z3 解數學問題: Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license. 可以用 Python 寫需要的條件,然後叫 Z3 去解... 作者這篇解的是踩地雷 XDDD

Posted in Computer, Game, Murmuring, Programming, Recreation, Software | Tagged , , | Leave a comment