Géché Environnement pour développer des systèmes et des applications basés sur des contraintes
Télécharger maintenant

Géché Classement & Résumé

Géché Mots clés

développement développer environnement de développement Développement des applications contrainte Développement de contraintes

Géché La description

Environnement pour développer des systèmes et des applications à base de contraintes GeCode (environnement de développement de contraintes génériques) est un environnement ouvert, portable, gratuit, accessible et efficace pour développer des systèmes et applications à base de contraintes.Gecode comporte un noyau générique sur lequel des modules tels que la recherche, des contraintes entière de domaine fini. On sont fournis. Voici quelques caractéristiques essentielles de "Gecode": · Ouvrir: Gecode est radicalement ouvert pour la programmation: elle peut être facilement interfacée à d'autres systèmes. Il soutient la programmation de nouveaux propagateurs (en tant que mise en uvre de contraintes), stratégies de ramification et moteurs de recherche. De nouveaux domaines variables peuvent être programmés au même niveau d'efficacité que les variables définies de domaine fini et d'entiers qui sont prédéfinies avec Gecode. · GRATUIT: Gecode est distribué sous licence MIT et est répertorié comme logiciel libre par le FSF. Toutes ses pièces, notamment la documentation, les implémentations de contraintes globales et des exemples sont disponibles comme code source au téléchargement. · Portable: Gecode est implémenté dans C ++ qui suit avec soin la norme C ++. Il peut être compilé avec des compilateurs modernes C ++ et fonctionne sur une large gamme de machines (y compris des machines de 64 bits). · Accessible: GeCode est livré avec une documentation de référence étendue qui permet de se concentrer sur différentes tâches de programmation avec GÉCODE. Dans un proche avenir, nous avons l'intention de libérer la documentation du didacticiel expliquant plus en détail les différentes tâches de programmation. · Efficace: GeCode offre des performances concurrentielles en ce qui concerne l'utilisation de l'exécution et de la mémoire. Une comparaison avec d'autres systèmes est disponible. Quoi de neuf dans cette version: Noyau: Corrections de bugs: · Ajout de l'opérateur d'affectation manquant pour les allocateurs d'espace pour les structures de données STL. (mineur, merci à Gustavo Gutierrez) Moteurs de recherche: Corrections de bugs: · La mémoire signalée pourrait être parfois trop faible (la correction précédente pour 3.2.0 ne le corrige pas pour la recherche de branche et de recherche liée). (mineur) Domaine fini entiers: Ajouts: · Contrainte de séquence ajoutée. (majeur, contribué par David Rijsman) Corrections de bugs: · La contrainte de la cardinalité mondiale (Count) accepte désormais des tableaux de valeurs non formés. Il a précédemment propagé de manière incorrecte si le tableau n'a pas été trié. (mineur, merci à Alberto Delgado) · Bug fixe dans la propagation ICL_VAL pour la cardinalité mondiale. (mineur) · L'abonnement à des vues constantes n'a pas honoré le drapeau pour éviter le traitement. (mineur) Entiers entier fini: Corrections de bugs: · L'abonnement aux vues constantes n'a pas honoré le drapeau à éviter le traitement (ne s'est pas produit dans la pratique). (mineur) Script Commandline Driver: Ajouts: · Signaler si le moteur de recherche a été arrêté. (mineur) Gamme et valeur Itérateurs: Autres changements: · Test de test renommé pour sous-ensemble ou disjoints d'itérateurs de la plage pour "comparer". (mineur) Exemple de scripts: Ajouts: · Exemple de séquençage de voiture ajouté (problème 1 dans csplib). Utilise la nouvelle contrainte de séquence. (mineur) GÉCODE / PLATZINC: Corrections de bugs: · Prise en charge des annotations de recherche avec des constantes dans les tableaux de variables. (mineur, merci à H? Kan Kjellerstrand) · Les contraintes SET_IN et SET_IN_RREF étaient buggy lorsqu'elles sont utilisées avec des variables booléennes (généralement non générées par MZN2FZN afin que le problème ne se produise probablement pas dans la pratique). (mineur) · La contrainte globale_cardinalité n'était pas complètement compatible avec la sémantique de Minizinc. Il limiterait que les valeurs non mentionnées dans le tableau doivent avoir zéro occurrences, alors qu'en minizinc, ils sont sans restriction. (mineur) · Les contraintes d'élément dans les positions de réifié produisent une erreur dans la traduction MZN2FZN. (Major, merci à H? Kan Kjellerstrand)

Géché Logiciels associés