Text this: Programming with constraints :