用 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

This entry was posted in Computer, Game, Murmuring, Programming, Recreation, Software and tagged , , . Bookmark the permalink.

Leave a Reply

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