The interface to be implemented by solver wrappers (see Solver Wrappers), as defined at src/solver/solver.hpp.