Descrição
Suporte à modelagem por restrições ajuda aplicações a descrever problemas de otimização e decisão em forma MiniZinc. Ele é útil para escalonamento, alocação, planejamento, verificação e fluxos de pesquisa que dependem de solvers de restrições.
Esta é uma biblioteca de modelagem, não uma interface de solver com um clique. Resultados dependem do modelo, backend do solver, dados e interpretação de soluções satisfatórias ou ótimas.