Models using MiniZinc, SMT, SAT and MIP in order to solve the multiple couriers planning problem.
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.