Based in Boston.
About me: https://www.linkedin.com/in/amitbansil/
YC W'12 Founder.
Email: [email protected]
user: amit-bansil
86 karma | created 16 years ago
recent submissions
1 month ago|discuss
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)
(ericpony.github.io)
155 pts|3 months ago|14 comments
4 years ago|discuss
5 years ago|discuss
5 years ago|discuss
6 years ago|discuss
6 years ago|discuss
7 years ago|discuss
Practical Examples of Logical Systems Solved by Z3PY
(ericpony.github.io)
2 pts|7 years ago|1 comment
7 years ago|discuss
11 years ago|discuss
11 years ago|discuss
11 years ago|discuss
11 years ago|discuss
11 years ago|discuss