LP solver