Wallaroo. Kostenlose und Open Source Linear Constraint Solving Library
Jetzt downloaden

Wallaroo. Ranking & Zusammenfassung

Wallaroo. Stichworte

lösen Löser Zwang Optimierungsbibliothek. Constraint Solver. lineare Einschränkung

Wallaroo. Beschreibung

Kostenlose und Open Source Linear Constraint Solving Library WallAroo ist eine unendliche Präzisions-Einschränkungslösung und -optimierungsbibliothek für lineare Einschränkungen über die rationalen Nummern.note: WallAroo ist lizenziert und verteilt unter den Bedingungen der GNU-Bibliothek oder der lerner allgemeinen öffentlichen Lizenz (LGPL). Hier sind einige wichtige Funktionen von "wallaroo": · Unendliche Präzision. WallAroo verwendet die GNU-Multiprecision-Bibliothek, um rationale Zahlen darzustellen. · Fähigkeit, Gleichungen (=), Ungleichungen ( und ), strikte Ungleichheiten () und Ungleichheiten () zu handhaben. · Inkrementell. Es ist möglich, den Einschränkungen des Solvers hinzuzufügen (und zu entfernen) hinzuzufügen (und zu entfernen) und das resultierende System erneut lösen, ohne alles neu zu realisieren. · Konfliktsatzerzeugung. Wenn ein System unmöglich ist, kann ein minimaler Satz von widersprüchlichen Einschränkungen berechnet werden.

Wallaroo. Zugehörige Software