181.7 SMT and SAT Engines All push-button verification tools described in this chapter ultimately reduce to calls on SMT or SAT solvers. Understanding the solvers' strengths and failure modes is ...

This implementation could be slow to display results when searching large files, because results aren’t printed as they’re found; we’ll discuss a possible way to fix this using iterators in Chapter 13 ...