exsolverer