Gecode para desarrollar sistemas y aplicaciones basadas en restricciones
Descargar ahora

Gecode Clasificación y resumen

Gecode Etiquetas

desarrollo desarrollar entorno de desarrollo desarrollo de aplicaciones restricción desarrollo de restricciones

Gecode Descripción

Medio ambiente para desarrollar sistemas y aplicaciones basadas en restricciones. GECODE (entorno de desarrollo genérico de restricción) es un entorno abierto, portátil, libre, accesible y eficiente para desarrollar sistemas y aplicaciones basados ​​en la restricción. El código de código cuenta con un kernel genérico en la parte superior de qué módulos, como la búsqueda, las restricciones de enteros de dominio finito, y así se proporcionan. Aquí hay algunas características clave de "Gecode": · ABIERTO: GECODE está abierto radicalmente para programar: se puede interconectar fácilmente a otros sistemas. Apoya la programación de nuevos propagadores (como implementación de restricciones), estrategias de ramificación y motores de búsqueda. Los nuevos dominios variables se pueden programar en el mismo nivel de eficiencia que el dominio finito y las variables de conjunto de enteros que vienen predefinidas con Gecode. · Gratis: Gecode se distribuye bajo la licencia MIT y se enumera como software gratuito por el FSF. Todas sus partes, incluida la documentación, las implementaciones de restricciones globales, y los ejemplos están disponibles como código fuente para descargar. · Portátil: GECODE se implementa en C ++ que sigue cuidadosamente el estándar C ++. Se puede compilar con los modernos compiladores de C ++ y se ejecutan en una amplia gama de máquinas (incluidas máquinas de 64 bits). · Accesible: GECODE viene con una extensa documentación de referencia que permite enfocarse en diferentes tareas de programación con Gecode. En un futuro próximo, pretendemos liberar la documentación de tutoría que explique las diversas tareas de programación con más detalle. · Eficiente: Gecode ofrece un desempeño competitivo con respecto al uso de tiempo de ejecución y memoria. Una comparación con algunos otros sistemas está disponible. ¿Qué hay de nuevo en este lanzamiento: Núcleo: Corrección de errores: · Operador de asignación faltante agregado para los asignadores basados ​​en el espacio para las estructuras de datos STL. (Menor, gracias a Gustavo Gutiérrez) Los motores de búsqueda: Corrección de errores: · La memoria reportada podría ser a veces demasiado baja (la solución anterior para 3.2.0 no lo solucionó para la búsqueda de sucursales y enlazada). (menor) Enteros de dominio finitos: Adiciones: · Se agregó restricción de secuencia. (Mayor, contribuido por David Rijsman) Corrección de errores: · La restricción global de cardinalidad (cuenta) ahora acepta matrices de valores sin clasificar. Anteriormente se propagaba incorrectamente si la matriz no estaba ordenada. (Menor, gracias a Alberto Delgado) · Error fijo en el propagador ICL_VAL para la cardinalidad global. (menor) · La suscripción a las vistas constantes no honraron la bandera para evitar el procesamiento. (menor) Conjuntos de enteros finitos: Corrección de errores: · La suscripción a las vistas constantes no honraron la bandera para evitar el procesamiento (no ocurrió en la práctica). (menor) Script Commandline Driver: Adiciones: · Informe si se ha detenido el motor de búsqueda. (menor) Gama y valor iteradores: Otros cambios: · PRUEBA RENDENADA PRUEBA PARA EL Subconjunto o la desusión de los iteradores de rango para "comparar". (menor) Ejemplo de scripts: Adiciones: · Ejemplo agregado de secuenciación de automóvil (problema 1 en CSPLIB). Utiliza la nueva secuencia-restricción. (menor) GECODE / PLANTZINC: Corrección de errores: · Admite anotaciones de búsqueda con constantes en las matrices de variables. (Menor, gracias a H? Kan Kjellerstrand) · Las restricciones SET_IN y SET_IN_RIF fueron buggy cuando se usan con variables booleanas (que generalmente no se generan por MZN2FZN para que el problema probablemente no ocurra en la práctica). (menor) · La restricción global_cardinality no fue completamente compatible con la semántica Minizinc. Restringiría los valores no mencionados en la matriz para tener cero ocurrencias, mientras que en minizinc no están restringidos. (menor) · Las restricciones de elementos en las posiciones reificadas produjeron un error en la traducción de MZN2FZN. (Mayor, gracias a H? Kan Kjellerstrand)

Gecode Software relacionado