SA Solvers Wiki/Extensions