amit-bansil
- Karma
- 86
- Created
- 16 years ago
About
Freelance programmer & entrepreneur.Based in Boston.
About me: https://www.linkedin.com/in/amitbansil/
YC W'12 Founder.
Email: amit+yc@bansil.org
Recent Submissions
- 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)