Add post Constraint programming