Hacker News new | ask | show | jobs
by dreamer_soul 2227 days ago
I love how z3 code looks like magic! Seems like a good library to start getting the hang of