solver-z3

README.md — what this module is

Mirrored from subprojects/solver/solver-z3/README.md — edit it there, not here.

This project wraps the Z3 solver into our common interfaces for solvers (located in the solver project). Normally, only the factory class should be used from this project to instantiate a new solver and then the common interfaces should be preferred.