Anfonwch hwn fel neges destun: An LP-designed algorithm for constraint satisfaction