Moduł jest częścią odpowiedzialną za wyznaczanie optymalnych cykli świateł.
Wykorzystuje on program napisany w języku MiniZinc, z wykorzystaniem solvera CBC, zaś w przypadku gdy jest on niedostępny, wykorzystuje domyślny solver Gecode.
Optymalizator można uruchomić na dwa sposoby. Zalecanym sposobem jest uruchomienie lokalnie, jednak w razie problemów możliwe jest również wykorzystanie Dockera
- katalog projektu należy otworzyć w ulubionym IDE (przykładowo PyCharm)
- uruchomić aplikację z konfiguracją używającą zmiennych z pliku .env (w Idea można użyć do tego plugin)
- uruchomić Dockera
- w katalogu projektu:
docker compose up