Anfonwch hwn fel neges destun: Constraint solving over multi-valued logics :