Azúcar Un solucionador de restricciones a base de satélite
Descargar ahora

Azúcar Clasificación y resumen

Azúcar Etiquetas

desarrollo resolver Java Enviromento de desarrollo solucionador entorno restricción Enviromento de java entorno educativo solucionador de restricción

Azúcar Descripción

El azúcar es un solucionador libre y de código abierto de un problema de satisfacción de restricciones lineales finitas (CSP) o un problema de optimización de restricciones (COP) .sugar codifica los problemas en un problema de prueba de satisfacción booleano (SAT) y resuelve el problema del SAT utilizando un problema externo Sábil Sábado. La herramienta de azúcar emplea un nuevo método de codificación SAT llamada "Codificación de orden". En la codificación de orden, una comparación x

Azúcar Software relacionado