solver_interpreter/solver archive