ESBIRRO Un nuevo solucionador de restricciones
Descargar ahora

ESBIRRO Clasificación y resumen

ESBIRRO Etiquetas

solucionador modelado solucionador de restricción restricción modelo de restricción Modelos de matriz

ESBIRRO Descripción

Un nuevo solucionador de restricciones Minion es un nuevo solucionador de restricciones, que es muy rápido y se escapa 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 progresivamente más complejos al costo tanto del rendimiento como de la usabilidad. Minion es una caja negra desde el punto de vista del usuario, proporcionando deliberadamente algunas opciones . Esto, combinado con su velocidad en bruto, hace que Minion sea un paso sustancial hacia el paradigma de resolución de restricción "modelo y ejecución" de Puget. Todavía está en la etapa beta del desarrollo. Se pueden esperar errores. Sin embargo, nos esforzamos por arreglar los errores de inmediato después de haber sido reportados. ¿Qué hay de nuevo en este lanzamiento: Los siguientes errores, que podrían haber producido respuestas incorrectas, se han solucionado: · La restricción 'POW' fue confundida por dominios que contenían '0'. · El uso de enteros cercanos a 2 ^ 32 ocasionalmente podría producir resultados incorrectos. La restricción de la tabla que contiene 1 tupla sin variables se consideró falsa, no es cierta. Los siguientes errores, que no pudieron producir errores incorrectos, han sido arreglados: · Arrays que contienen no variables se estrelló con Minion. · Muchas restricciones se estrelló cuando se dan matrices de longitud 0. Las restricciones de la tabla causaron choques cuando la longitud de las tuplas no es igual al número de variables. Se han realizado las siguientes mejoras en Minion, algunas de las cuales han estado en versiones anteriores, pero ahora están documentadas correctamente: · Todas las limitaciones ahora pueden ser reificadas. · Se ha agregado un método eficiente de calcular el 'o' de una lista de restricciones. · Se han agregado implementaciones eficientes de AllDiff y GCC (restricción de cardinalidad global). · Se han agregado una serie de otras restricciones binarias y unarias. · Ahora hay un visualizador rudimentario que muestra (en una matriz) los dominios / asignaciones de variables durante la búsqueda. · El sistema de compilación de Minion ahora usa 'Cmake'. · La documentación ha sido mejorada. También se han hecho una gran cantidad de otras pequeñas mejoras y ajustes, según se basan en una suite de prueba automatizada mucho más grande. Tenga en cuenta que el sastre ya no forma parte de la distribución estándar de Minion; Se libera por separado.

ESBIRRO Software relacionado