| user: | amit-bansil |
| created: | August 27, 2009 |
| karma: | 86 |
| about: | Freelance programmer & entrepreneur. Based in Boston. About me: https://www.linkedin.com/in/amitbansil/ YC W'12 Founder. Email: amit+yc@bansil.org |
| 1. | Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)(ericpony.github.io) |
| 2. | Practical Examples of Logical Systems Solved by Z3PY(ericpony.github.io) |