Scripte Programmes entier de contrainte de résolution de contraintes
Télécharger maintenant

Scripte Classement & Résumé

Scripte Mots clés

entier solveur Cadre résolution Liste des contraintes contrainte SharePoint contrainte contrainte de hauteur décrire entier Convertisseur entier séquence inteer bibliothèque entière arithmétique entier FIFO Entier Stack Programmation de contrainte bibliothèque de contraintes Nombre entier Calcul entier Éditer entier Integer universel convertir entier en texte vecteur entier Langue de contrainte d'objet Constraint Solver créateur d'entier solveur de programmation entier cadre de programmation entier contrainte entier Programmation entière Programmation linéaire entière Integer linéaire précision entière Integer de précision arbitraire IP en entier Entier à IP Calculatrice entier Gérer un entier non signé Integer non signé Char Entier Logiciel de gestion des contraintes

Scripte La description

SCIP est actuellement l'un des solvants de programmation entier mixtes non commerciaux le plus rapide. C'est également un cadre de programmation entière de contraintes et de la génération de branche et de prix. Il permet la commande totale du processus de solution et l'accès des informations détaillées jusqu'au courage du solveur. Donnez à SCIP un essai de voir comment cela vous aidera à résoudre des problèmes de programmation entier. Caractéristiques principales: C'est un cadre de ramification, de coupe, de tarification et de propagation. Il est très flexible via de nombreux plugins d'utilisateurs possibles: Les manipulateurs de contraintes pour mettre en uvre des contraintes arbitraires des indicateurs variables pour créer de manière dynamique des variables de problèmes, Propagateurs de domaine à appliquer des propagations indépendantes de contrainte sur les domaines des variables, Couper les séparateurs pour appliquer des plans de coupe sur la détente LP, Relaxators à fournir des relaxations et des doubles limites en plus de la détente LP, Heuristics primordiaux pour rechercher des solutions réalisables avec un support spécifique pour la sondage et la plongée, Sélecteurs de nuds pour guider la recherche, Règles de ramification pour diviser le problème en subproblèmes, Présolvers pour simplifier le problème résolu, fichier lecteurs pour analyser différents formats de fichier d'entrée, Les gestionnaires d'événements doivent être informés sur des événements spécifiques, par exemple, après résolution d'un nud, une variable spécifique change ses limites ou une nouvelle solution primordiale est trouvée, affiche des gestionnaires pour créer des colonnes supplémentaires dans la sortie du solveur. Boîte de dialogue pour étendre la coque de commande incluse. Chaque unité existante est mise en uvre sous forme de plug-in, conduisant à une interface suffisamment flexible pour répondre aux besoins de la plupart des extensions d'utilisateurs supplémentaires. une gestion de la piscine découpée dynamique est incluse. L'utilisateur peut mélanger des variables de problèmes préreprédés et actifs dans des expressions: elles sont automatiquement transformées en variables de problèmes actifs correspondants. De nombreux enfants par nud peuvent être créés et les différents enfants peuvent être définis arbitrairement. Il possède un support de solveur LP ouvert. Il soutient actuellement: CPLEX Gurobi Xpress-MP mosek SOPLEX QSOPT CLP. La relaxation LP n'a pas besoin d'être résolue à chaque noeud (il peut même être complètement désactivé, imminciez un solveur de programmation de contraintes pure). Des relaxations supplémentaires (par exemple, des relaxations semi-rigiites ou des relaxations de Lagrangian) peuvent être incluses, travaillant en parallèle ou entrelacées. L'analyse des conflits peut être appliquée pour apprendre des sous-périllons infaisables. La gestion de la mémoire dynamique réduit le nombre d'appels de système d'exploitation avec la détection automatique des fuites de fuite de mémoire en mode débogage.

Scripte Logiciels associés