K: LP Solvers