Գրեք սա: Tractable valued constraints