Pošalji tekstualnu poruku: Constraint solving over multi-valued logics