在「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.
Skip to content
幹壞事是進步最大的原動力