Home » Computer » 用 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

Leave a Reply

Your email address will not be published. Required fields are marked *