Serviteur solveur de contraintes rapide et évolutif
Télécharger maintenant

Serviteur Classement & Résumé

Serviteur Mots clés

résoudre solveur contrainte solveur de contrainte résoudre les contraintes solution contraint

Serviteur La description

Solveur de contrainte rapide et évolutif Minion, est un nouveau solutionneur de contraintes, qui est très rapide et qui échoue à mesure que la taille des problèmes augmente. Les résultats empiriques sur des repères standard montrent des commandes de performances de magnitude sur des kits d'outils de contrainte à la pointe de la technologie. Ces gains augmentent avec la taille des problèmes --- Minion fournit une résolution de contrainte évolutive.Minion est un solveur de contrainte à usage général, avec une langue d'entrée expressive basée sur le dispositif de modélisation de contrainte commune des modèles matriciels. Les concentrations sur les modèles matriciels prend en charge une implémentation maigre et hautement optimisée. Cela contraste avec les convales-outils de contrainte actuelles, qui, afin de fournir à la fois plus de modélisation et des options de résolution, sont devenus progressivement plus complexes au coût des performances et de la convivialité.Minion est une boîte noire du point de vue de l'utilisateur, qui vient délibérément avec Très peu d'options. Ceci, combiné à sa vitesse brute, fait de la mionion une étape substantielle vers le paradigme de résolution de contraintes de «modèle et de gestion» de Puget. Remarque: Minion est toujours dans la phase bêta du développement. Des bugs peuvent être attendus. Quoi de neuf dans cette version: Améliorations: · Le code a été nettoyé et modularisé pour être plus facilement compréhensible et modifiable · Plus d'informations sont disponibles en mode Info · Quelques bugs mineurs Améliorations de performance: · Les chèques liés des variables booléennes sont plus efficaces · Les fichiers d'entrée sont analysés plus rapidement Autres changements: · Le système de construction fournit désormais des objectifs pour exécuter les tests. · Les constructions ne sont plus effectuées dans la direcotry principale plus, mais dans un répertoire distinct (ce qui signifie que vous pouvez avoir autant de constructions différentes de la même source que vous le souhaitez) · Better le support de cygwin

Serviteur Logiciels associés