Text this: Consistency techniques for linear arithmetic and functional constraints /