WALLAROO Biblioteca de resolución de restricciones lineales de código abierto y abierto
Descargar ahora

WALLAROO Clasificación y resumen

WALLAROO Etiquetas

resolver solucionador restricción Biblioteca de optimización solucionador de restricción restricción lineal

WALLAROO Descripción

Biblioteca de resolución de restricciones lineales de código abierto y de código abierto Wallaroo es una biblioteca de resolución y optimización de restricciones de precisión infinita para restricciones lineales a través de los números racionales. Nota: Wallaroo tiene licencia y se distribuye según los términos de la Biblioteca GNU o la Licencia Pública General (LGPL). Aquí hay algunas características clave de "Wallaroo": · Precisión infinita. WALLAROO utiliza la Biblioteca Multiprecision GNU para representar números racionales. · Capaz de manejar las igualdades (=), las desigualdades (≤ y ≥), las desigualdades estrictas (), y las desigualdades (≠). · Incremental. Es posible agregar (y eliminar) restricciones del solucionador y resolver nuevamente el sistema resultante sin volver a dominar todo. · Conjunto de conflictos generación. Si un sistema es inviable, se puede calcular un conjunto mínimo de restricciones conflictivas.

WALLAROO Software relacionado