News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by tom_mellior on Saturday August 04, 2018 @02:17PM (#17687882)
> > SAT solvers

> Z3 SMT solver

You are comparing different things.

[ Parent | on HN ]

There are no comments on this comment yet.