Seol mar théacs é seo: Constraint solving over multi-valued logics :