Esbirro Restricción rápida y escalable
Descargar ahora

Esbirro Clasificación y resumen

Esbirro Etiquetas

resolver solucionador restricción solucionador de restricción resolver restricciones Solución de Contribuciones

Esbirro Descripción

Solucionador de restricción rápida y escalable Minion, es un nuevo solucionador de restricciones, que es muy rápido y se escala bien, ya que el tamaño del problema aumenta. Los resultados empíricos en los puntos de referencia estándar muestran órdenes de las ganancias de rendimiento de magnitud sobre los kits de herramientas de restricción de última generación. Estas ganancias aumentan con el tamaño del problema: el Minion ofrece resolución de restricciones escalables. El Minion es un solucionador de restricciones de propósito general, con un lenguaje de entrada expresivo basado en el dispositivo de modelado de restricciones comunes de modelos de matriz. Enfoque en Matrix Models admite una implementación magra, altamente optimizada. Esto contrasta con los kits de herramientas de restricción actuales, que, con el fin de proporcionar opciones cada vez más modelos y resolver, se han vuelto cada vez más complejos al costo tanto del rendimiento como de la usabilidad. Minion es una caja negra desde el punto de vista del usuario, que viene deliberadamente con Muy pocas opciones. Esto, combinado con su velocidad en bruto, hace que Minion sea un paso sustancial hacia el paradigma de resolución de restricciones "modelo y ejecución" de Puget. Nota: Minion todavía está en la etapa beta del desarrollo. Se pueden esperar errores. ¿Qué hay de nuevo en este lanzamiento: Mejoras: · El código se limpió y modularizó para ser más fácilmente comprensible y modificable. · Más información está disponible en modo INFO · Algunas correcciones de errores menores Mejoras de rendimiento: · Los controles encuadernados para las variables booleanas son más eficientes · Los archivos de entrada están analizados más rápido Otros cambios: · El sistema de compilación ahora proporciona objetivos para ejecutar las pruebas. · Las compilaciones ya no se realizan en la Directotry principal, pero en un directorio separado (lo que significa que puede tener tantas compilaciones diferentes de la misma fuente que desee) · Mejor soporte de cygwin

Esbirro Software relacionado