FOSolverS: a Suite of Free & Open Source Solvers (An image of FOSolverS' repo. on Google Code)