Hacker News new | ask | show | jobs
by tom_mellior 2881 days ago
> > SAT solvers

> Z3 SMT solver

You are comparing different things.