It would be cool if upon solver instantiation, the solver would give out information on how it was configured (e.g. in TRACE mode) such as what environment mode is it running in, what is the termination configuration etc.