[PPL-devel] [GIT] ppl/ppl(sparse_matrices): For checking purposes, use the exact LP solver of GLPK.