Links for AutoMind-Solvers