Azucar. Uma ferramenta para resolver os CSPs usando uma abordagem baseada em SAT.
Baixe Agora

Azucar. Classificação e resumo

Azucar. Tag

problema restrição

Azucar. Descrição

A Azucar é um solucionador de problemas de satisfação que é baseado no método de satisfomoção booleano. O aplicativo pode resolver problemas de satisfação não linear finitos, problemas de otimização de restrição e max-csp sobre inteiros. Ele usa o método de codificação de ordem compacto que representa cada inteiro usando um sistema numeral.

Azucar. Software Relacionado