Nie tylko używamy solverów. Budujemy mosty.
Zespół optymalizacyjny NexOR współtworzy JuMP, język modelowania matematycznej optymalizacji w ekosystemie Julia. Kilka konektorów między JuMP a solverami leżącymi pod naszym silnikiem VRP znajduje się w naszych publicznych repozytoriach. Korzystają Państwo z NexOR ze świadomością, że matematyka pod spodem jest audytowalna.
- 4 Publiczne pakiety Julia
- UE Siedziba w Belgii
- MIT Otwarte licencje
Język modelowania matematycznej optymalizacji typu open source.
JuMP pozwala badaczom opisać problem optymalizacyjny, routing, harmonogramowanie, przepływ w sieci, programowanie całkowitoliczbowe mieszane, w składni bliskiej matematyce, a następnie rozwiązać go za pomocą dowolnego z ponad trzydziestu backendów solverów ukrytych za jednym interfejsem.
Jest de facto standardem w ekosystemie Julia oraz fundamentem badań nad optymalizacją na europejskich uniwersytetach, w tym na UCLouvain, gdzie kształciły się części naszego zespołu optymalizacyjnego.
- Stworzone w MIT, używane w badaniach akademickich na całym świecie
- Jeden model, ponad trzydzieści backendów solverów
- Na licencji MIT, utrzymywane przez społeczność
Mosty solverów dla ekosystemu Julia.
Oto niektóre z konektorów, które utrzymujemy. Mosty między językiem modelowania JuMP a solverami stojącymi za silnikiem VRP NexOR. Open source z założenia.
Otwarta matematyka bije matematykę z czarnej skrzynki.
Cztery powody, dla których postawa NexOR wobec open source jest funkcją, a nie przypisem.
Audytowalne modele
Matematyka stojąca za Państwa trasami jest w kodzie, który każdy może przeczytać. Żadna własnościowa czarna skrzynka nie decyduje o tym, co robią Państwa ciężarówki.
Sprawdzone przez badania
JuMP i jego solvery są używane w laboratoriach badań operacyjnych na całym świecie. Modele, które dostarczamy, są poddawane analizie globalnej społeczności.
Bez vendor lock-in
Jeśli znikniemy jutro, mosty solverów pozostają żywe na GitHubie. Zachowują Państwo matematykę, zachowują kod, nadal Państwo działają.
Dopasowane do klienta
Solver, który nie odwzorowuje Państwa rzeczywistości, to po prostu wolne oprogramowanie. Rozszerzamy otwarte pakiety, gdy ograniczenie klienta nie jest jeszcze obsługiwane.
Badania operacyjne w kabinie kierowcy.
Praca optymalizacyjna NexOR jest wszczepiona w ekosystem języka Julia. Członkowie zespołu są aktywnymi współtwórcami samego JuMP, wysyłają pull requesty do podstawowych pakietów, utrzymują interfejsy solverów i prezentują na warsztacie JuMP-dev. Powyższe mosty nie są projektem pobocznym. Tak właśnie pracujemy.
- Aktywni współtwórcy podstawowych pakietów JuMP
- Prelekcje na warsztacie JuMP-dev
- Interfejsy solverów publikowane jako open source w organizacji
- Codzienna praca nad produktem i badania działają na tym samym kodzie
Mają Państwo problem optymalizacyjny, któremu powinniśmy się przyjrzeć?
Proszę przesłać nam ograniczenia, których nie potrafią Państwo zamodelować w obecnym narzędziu. Wracamy z tym, co już jest w JuMP, i z tym, co byśmy zbudowali.