Get the latest tech news
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)
a high performance theorem prover developed at Microsoft Research. Z3 is used in many applications such as: software/hardware verification and testing, constraint solving, analysis of hybrid systems, security, biology (in silico analysis), and geometrical problems.
None
Or read this on Hacker News