Text this: A generic software framework for finite domain constraint programming /