この資料をSMS送信: A Modeling Layer for Constraint-Programming Libraries