Відправити по sms: A Modeling Layer for Constraint-Programming Libraries