solver-javasmt

README.md — what this module is

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

This project wraps the JavaSMT solver wrapper 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. The factory needs a Solvers enum value, or the manager needs a string with the same values after the JavaSMT: prefix.