infinite constraints modeling