An intuitive modeling interface for infinite-dimensional optimization problems.