Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)ericpony.github.io·155 pts·amit-bansil·14