Jacop Une bibliothèque facile à utiliser fournissant une technologie de programmation de contraintes
Télécharger maintenant

Jacop Classement & Résumé

Jacop Mots clés

Bibliothèque Bibliothèque Java Composant développer Composant Java bibliothèque de programmation Développeur Java Liste des contraintes contrainte contrainte de hauteur Programmation de contrainte bibliothèque de contraintes Programmation facile Langue de contrainte d'objet Constraint Solver contrainte entier Logiciel de gestion des contraintes

Jacop La description

Jacop est composant basé à Java qui aidera les développeurs dans leur travail. Si vous êtes chercheur, vous constaterez que Jacop est un outil facile à utiliser, facile à prolonger pour répondre à vos besoins particuliers, ainsi que très efficace pour résoudre effectivement des problèmes importants à l'aide de Jacop. Jacop a été utilisé pour la recherche qui ne concerne que la technologie CP ainsi que pour la recherche dans le domaine de la CP elle-même. Si l'outil comme Jacop était disponible au moment de mon doctorat, je ferais mon doctorat 1-2 ans plus tôt. Vous devez utiliser les outils disponibles pour votre avantage. Si vous travaillez sur un aspect important de la technologie CP, nous pouvons même consacrer notre temps libre pour vous aider à mettre en uvre la fonctionnalité de Jacop. Nous gardons donc Jacop à la pointe de la technologie. Si vous êtes Ingénieur logiciel Écrire un logiciel, vous constaterez que Jacop en tant que solveur de programmation de contrainte vous permettra de modéliser le problème, ainsi que d'évaluer le nombre de différentes approches de recherche pour trouver une efficacité efficace. Utilisez la richesse des connaissances codées dans les contraintes pour augmenter le raisonnement / la résolution de la puissance de votre solution logicielle. Il existe un certain nombre de personnes qui peuvent servir de consultants pour vous aider à appliquer la technologie CP sous la forme de Jacop à l'intérieur de votre projet. N'hésitez pas à annoncer vos besoins pour obtenir de l'aide sur Jacoptwiki. JACOP fournit un nombre important de contraintes pour faciliter la modélisation ainsi que la conception modulaire de la recherche afin de faciliter l'adaptation de la recherche aux caractéristiques du problème abordé. Il s'agit actuellement de plus de 60000 lignes de code, pas d'exemples et de code de test. Il existe plus de 20000 lignes de code expliquant comment modéliser et résoudre divers problèmes. Nous travaillons sur Jacop depuis 8 ans pendant notre temps libre en tant qu'activité de passe-temps. Il a été refactored, transformé, amélioré plusieurs fois. Les versions initiales de Jacop étaient probablement même même 3 ordres de grandeur plus lentement que la version actuelle. Jacop fournit une grande bibliothèque d'exemples ainsi que la documentation approfondie de l'API Java. Nous avons des cas d'utilisation de Jacop par des jeunes à l'âge de lycée. La technologie CP n'est pas facile à utiliser, donc au moins nous avons essayé de faire utiliser Jacop aussi facile que possible. N'hésitez pas à nous aider à faire de Jacop encore plus facile / intuitif à utiliser. S'il vous plaît envoyez-nous vos exemples, nous les refroidirons si nécessaire et l'inclure avec d'autres exemples. Créer un solveur est un processus, à l'époque que nous avons commencé, nous n'avons été que des utilisateurs novices frustrés de la technologie CP qui luttaient avec des solvants à la source fermée pour appliquer efficacement la technologie CP. Nous avons appris beaucoup de CP et de génie logiciels au cours de ces années. Le développement Jacop a été motivé par trois priorités - facilité d'utilisation, facilité d'entretien et efficacité. Il existe un nombre de solveurs disponibles, chacun est spécial et chacun d'entre eux peut être utile. Ici, vous avez un autre choix à choisir. Chaque solveur est différent car les applications de solveur imposent des exigences différentes et apportent certaines optimisations non possibles. Jacop facilite les ajouts de contrainte lors de la recherche et du contrôle étendu sur le comportement interne du solveur. Presque tous les aspects du solveur peuvent être modifiés. Il est nécessaire que le solutionneur soit utilisé dans la recherche lorsque de petites choses comptent et que votre technique fonctionne beaucoup plus lentement. Toutes les structures de données sont disponibles pour la manipulation faisant la mise en uvre de la recherche spéciale. Heurticisme possible. Il est également possible de mettre en uvre les contraintes propres de l'utilisateur avec des fonctions supplémentaires, qui peuvent être utilisées ultérieurement lors de la recherche. Les auteurs s'efforcent d'atteindre le bon équilibre entre la facilité d'utilisation, la facilité d'extension et l'efficacité. Jacop prend également en charge et étend le format XCSP pour enregistrer les CSP au format XML. Jacop est continuellement en développement. Il est rarement entièrement compatible en arrière, car non seulement de nouvelles contraintes sont ajoutées, mais également des internes du moteur sont améliorées. Les auteurs se sont concentrés sur la fonctionnalité principale des contraintes. Il n'existe donc aucune interface graphique disponible, ce qui aiderait aux programmes de débogage. Il y a beaucoup d'exemples, une documentation de guide courte et Java DOC, mais les auteurs aimeraient avoir plus de temps pour créer davantage de documentation élaborée. Il existe de nombreux autres outils de contrainte qui ont été mis en uvre depuis la création de Jacop. Chaque système est différent car ils échangent une extension, une fonctionnalité, une facilité de développement d'efficacité d'une manière différente. Il existe des outils qui sacrifient tout pour l'efficacité, d'autres outils qui choisissent C ++ sur Java afin d'éviter les coûts associés à l'exécution de programmes Java. Nos propres expériences indiquent que Jacop est un très bon solveur Java, mais il est plus lent que le bon solveur basé sur C ++. Si vous recherchez une utilisation facile à utiliser, facile à entretenir, facile à prolonger et solveur efficace écrit en Java, puis Jacop est un must pour vous essayer.

Jacop Logiciels associés