Descrição
Modelos de programação por restrições podem ser criados e resolvidos com um ambiente genérico de desenvolvimento.
É ferramental de otimização e pesquisa. Ele é útil para desenvolvedores e pesquisadores que modelam escalonamento, planejamento e problemas combinatórios.