HN Explorer

amit-bansil

↗ HN profile [ 39.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015) (ericpony.github.io)
    155 points 11
  2. Practical Examples of Logical Systems Solved by Z3PY (ericpony.github.io)
    2 points 1