ScipLösen von CONSTRINT INTEGER-Programmen | |
Jetzt downloaden |
Scip Ranking & Zusammenfassung
Anzeige
- Lizenz:
- Freeware
- Name des Herausgebers:
- Zuse Institute Berlin
- Betriebssysteme:
- Windows All
- Dateigröße:
- 1.5 MB
Scip Stichworte
- ganze Zahl Löser Rahmen Gelöst Listenbeschränkung SharePoint-Einschränkung. Zwang Pecheinschränkung Beschreiben Sie Ganzzahl Ganzzahl-Konverter. Ganzzahlsequenz Ganzzahlbibliothek. Ganzzahlige Arithmetik FIFO-Integer-Stapel Constraint-Programmierung Constraint-Bibliothek Ganzzahlnummer. Integer Berechnung Bearbeiten Integer Universelle Ganzzahl. Integer in Text konvertieren Ganzzahl-Vektor Objektbegrenzungssprache. Constraint Solver. Integer-Ersteller Ganzzahl-Programmierlöser. Integer-Programmierrahmen CONSTRINT INTEGER. Ganzzahlprogrammierung. Ganzzahl lineare Programmierung. Ganzzahl linear. Ganzzahl Präzision. willkürliche Präzisionszähne. IP zu Ganzzahl Ganzzahl für IP. Ganzzahlrechner Handle Unsigned Integer Vorzeichenlose ganze Zahl. Char bis integer. CONSTRAINT Management-Software.
Scip Beschreibung
Scip ist derzeit einer der am schnellsten nicht kommerziellen Mischzüng-Programmierlöser. Es ist auch ein Rahmen für die CONSTRINT INTEGER-Programmierung und den Branchen- und Preis-Preis. Es ermöglicht die totale Kontrolle des Lösungsprozesses und des Zugriffs detaillierter Informationen bis zum Mut des Solvers. Gib Scip A zu sehen, wie es Ihnen dabei hilft, in ganzzahlige Programmierprobleme zu lösen. Haupteigenschaften: Es ist ein Rahmen für die Verzweigung, Schneiden, Preise und Ausbreitung. Es ist sehr flexibel durch viele mögliche Benutzer-Plugins: Constraints-Handler, um beliebige Einschränkungen zu implementieren, Variable-Pricers, um Problemvariablen dynamisch zu erstellen, Domain-Propagatoren, um einschränkende unabhängige Ausbreitungen auf den Domänen der Variablen anzuwenden, Schneiden Sie Separatoren, um Schneidflugzeuge auf der LP-Entspannung anzuwenden, Relaxatoren, um Entspannungen und Doppelgrenzen zusätzlich zur LP-Entspannung zu bieten, Primal Heuristics, um nach realisierbaren Lösungen mit spezifischer Unterstützung für das Prüfen und Tauchen zu suchen, Node-Selektoren, um die Suche zu leiten, Verzweigungsregeln, um das Problem in Unterprobleme aufzuteilen, Presether, um das gelöste Problem zu vereinfachen, Dateileser, um verschiedene Eingabedateiformate zu analysieren, Event-Handler, die über bestimmte Ereignisse informiert werden sollen, z. Nachdem ein Knoten gelöst wurde, ändert sich eine bestimmte Variable ihre Grenzen, oder eine neue Primal-Lösung wird gefunden, Anzeigen von Handlern, um zusätzliche Spalten in der Ausgabe des Solvers zu erstellen. Dialog-Handler, um die mitgelieferte Befehlsschale zu erweitern. Jede vorhandene Einheit ist als Plugin implementiert, was zu einer Schnittstelle ist, die flexibel genug ist, um den Anforderungen der meisten zusätzlichen Benutzererweiterungen zu erfüllen. Ein dynamisches Cut Pool-Management ist enthalten. Der Benutzer kann vorverarbeitete und aktive Problemvariablen in Ausdrücken mischen: Sie werden automatisch in entsprechende aktive Problemvariablen umgewandelt. willkürlich viele Kinder pro Knoten können erstellt werden, und die verschiedenen Kinder können willkürlich definiert werden. Es hat eine offene LP-Solver-Unterstützung. Es unterstützt derzeit: cplex gurobi xpress-mp mosek SOPLEX qsopt CLP. Die LP-Entspannung muss nicht an jedem einzelnen Knoten gelöst werden (es kann sogar vollständig ausgeschaltet werden, um einen reinen Constraint-Programmierlöser zu ahnen). Zusätzliche Entspannungen (z. B. halbfinitische Entspannungen oder Lagrangian-Entspannungen) können inklusive sein, die parallel oder verschachtelt werden. Konfliktanalyse kann angewendet werden, um von unmöglichen Subproblemen zu lernen. Dynamisches Speichermanagement reduziert die Anzahl der Betriebssystemanrufe mit der automatischen Speicherablagerung im Debug-Modus.
Scip Zugehörige Software
Lalnview.
Ein grafisches Programm zum Visualisieren der lokalen Ausrichtung zwischen zwei Sequenzen. ...
204 749 KB