SA Solvers Wiki/Libraries