simple-solver-logging
