Seol mar théacs é seo: An LP-designed algorithm for constraint satisfaction