SKIs Constraints Management Library