Variable Constrains lib