Where Some of IdeaConnection's Solvers are Located