Create constraint_lib.py