Infinite Constraints Modeling