Hacker News new | past | comments | ask | show | jobs | submit login

... also like using Z3 with Python [1].

[1] https://ericpony.github.io/z3py-tutorial/guide-examples.htm




This is quite nice! I wasn't aware of this.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: