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 saagarjha on Saturday September 28, 2019 @08:39PM (#21104143)
SMT solvers (which are a generalization of SAT solvers) are quite useful for program verification and symbolic execution.
[ Parent | on HN ]

There are no comments on this comment yet.