發送短信 : A generic software framework for finite domain constraint programming /