refactor: move solver execution into his own EDSP method