lcp solver