Descrição
Uma biblioteca funcional de programação por restrições. Desenvolvedores usam para modelar problemas em que valores precisam satisfazer um conjunto de regras, como agenda, planejamento, alocação ou busca baseada em lógica.
Use ao criar software que precisa de resolução de restrições como parte da lógica. É uma biblioteca de desenvolvimento e não é útil como aplicativo independente para usuário final.