SMT solver testing

Ensuring the equality of SMT solvers is critical due to its broad spectrum of applications in academia and industry, such as symbolic …