Azucar Una herramienta para resolver CSP utilizando un enfoque basado en SAT.
Descargar ahora

Azucar Clasificación y resumen

Azucar Etiquetas

problema restricción

Azucar Descripción

Azucar es un solucionador de problemas de satisfacción de restricciones que se basa en el método de satisfacción booleano. La aplicación puede resolver problemas de satisfacción de restricciones no lineales finitos, problemas de optimización de restricciones y MAX-CSP sobre enteros. Utiliza el método de codificación de orden compacto que representa cada entero utilizando un sistema de números.

Azucar Software relacionado