AngeloGalav / multiple-couriers-planning

Modeling the Multiple Couriers Planning problem using various strategies and solvers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Multiple Couriers Planning

Models using MiniZinc, SMT, SAT and MIP in order to solve the multiple couriers planning problem.

Instructions

For more info on the instructions for running the models, refer to the models.md file in the docs folder. For more info on running the containerized environment, refer to the docker.md file in the docs folder.

About

Modeling the Multiple Couriers Planning problem using various strategies and solvers


Languages

Language:Python 72.9%Language:SMT 25.7%Language:Dockerfile 1.0%Language:Shell 0.4%