Tinker Tailor Soldier… Solver?