How to Integrate a Solver

Integrating a new solver under test only requires defining a solver configuration JSON profile (see Solver Profiles) and implementing a dedicated solver wrapper. The solver profile configures what and how to test, and the solver wrapper interfaces with Murxla’s core components.