Nous n'utilisons pas seulement des solveurs. Nous construisons les passerelles.
L'équipe d'optimisation de NexOR contribue à JuMP, le langage de modélisation pour l'optimisation mathématique de l'écosystème Julia. Plusieurs des connecteurs entre JuMP et les solveurs qui sous-tendent notre moteur VRP vivent dans nos dépôts publics. Utilisez NexOR en sachant que les mathématiques sous-jacentes sont auditables.
- 4 Paquets Julia publics
- EU Basé en Belgique
- MIT Licences ouvertes
Un langage de modélisation open source pour l'optimisation mathématique.
JuMP permet aux chercheurs de décrire un problème d'optimisation : tournées, ordonnancement, flots de réseau, programmation en nombres entiers, dans une syntaxe proche des mathématiques, puis de le résoudre avec l'un des plus de trente solveurs disponibles derrière une interface unique.
C'est le standard de fait dans l'écosystème Julia et la colonne vertébrale de la recherche en optimisation dans les universités européennes, dont UCLouvain, où une partie de notre équipe d'optimisation a été formée.
- Créé au MIT, utilisé dans la recherche académique partout dans le monde
- Un seul modèle, plus de trente solveurs en backend
- Sous licence MIT, maintenu par la communauté
Passerelles vers les solveurs pour l'écosystème Julia.
Voici quelques-uns des connecteurs que nous maintenons. Les passerelles entre le langage de modélisation de JuMP et les solveurs derrière le moteur VRP de NexOR. Open source par conception.
Les mathématiques ouvertes l'emportent sur les boîtes noires.
Quatre raisons pour lesquelles la posture open source de NexOR est une fonctionnalité, pas une note de bas de page.
Modèles auditables
Les mathématiques derrière vos tournées sont dans du code que chacun peut lire. Pas de boîte noire propriétaire qui décide ce que font vos camions.
Validé par la recherche
JuMP et ses solveurs sont utilisés dans les laboratoires de recherche opérationnelle du monde entier. Les modèles que nous livrons sont examinés par la communauté mondiale.
Aucun verrouillage
Si nous disparaissons demain, les passerelles vers les solveurs restent disponibles sur GitHub. Vous gardez les mathématiques, vous gardez le code, vous continuez à rouler.
Adapté à vos besoins
Un solveur qui ne modélise pas votre réalité n'est qu'un logiciel lent. Nous étendons les paquets open source dès qu'une contrainte client n'est pas déjà prise en charge.
La recherche opérationnelle, jusque dans la cabine.
Le travail d'optimisation de NexOR est greffé dans l'écosystème du langage Julia. Des membres de l'équipe sont contributeurs actifs à JuMP même, livrant des pull requests sur les paquets centraux, maintenant des interfaces de solveurs et présentant à l'atelier JuMP-dev. Les passerelles ci-dessus ne sont pas un projet annexe. C'est notre manière de travailler.
- Contributeurs actifs aux paquets centraux de JuMP
- Présentations à l'atelier JuMP-dev
- Interfaces de solveurs publiées en open source sur l'organisation
- Le travail produit quotidien et la recherche s'appuient sur le même code
Un problème d'optimisation à nous soumettre ?
Envoyez-nous les contraintes que vous ne parvenez pas à modéliser dans votre outil actuel. Nous revenons vers vous avec ce qui existe déjà dans JuMP et ce que nous construirions.