I second this, Z3 is fantastic and open source! https://rise4fun.com/z3 | Hacker News

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

login

jahewson on Aug 4, 2018 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

I second this, Z3 is fantastic and open source!

https://rise4fun.com/z3

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