Hacker News new | ask | show | jobs
user: amit-bansil
created: 2009-08-27
karma: 86

Freelance programmer & entrepreneur.

Based in Boston.

About me: https://www.linkedin.com/in/amitbansil/

YC W'12 Founder.

Email: amit+yc@bansil.org

submissions:

0 points | 0 comments
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)
155 points | 14 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Practical Examples of Logical Systems Solved by Z3PY
2 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments