Z3 (as well as other SMT solvers) is used by TLA+ (also MSR) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

pron on Aug 28, 2016 | parent | context | favorite | on: Z3 SMT solver interactive tutorial

Z3 (as well as other SMT solvers) is used by TLA+ (also MSR)

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