SMT solvers are often used in the back end of different software engineering tools─ eg,
program verifiers, test generators, or program synthesizers. There are a plethora of …