Skip to content

Top New Best Ask Show Jobs

amit-bansil

86 karmaJoined August 27, 200915 submissions

Freelance programmer & entrepreneur.

Based in Boston.

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

YC W'12 Founder.

Email: amit+yc@bansil.org

amit-bansil | Better HN

Recent submissions

1

Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015) (opens in new tab)

(ericpony.github.io)

155amit-bansil4mo ago14

2

Practical Examples of Logical Systems Solved by Z3PY (opens in new tab)

(ericpony.github.io)

2amit-bansil7y ago1