MiniZinc
VRP refactoring
The library has two models for the Capacitated Vehicle Routing Problem: A MIP model in vrp and a CP model in cvrp. Both directories contain instances but the instances in cvrp are a subset of those in vrp. The instance files have names like A-n32-k5.vrp.dzn where n is the number of customers and k is the number of vehicles. However, the instance files do not contain k and the models assume that k equals n.
This PR solves both issues:
- It moves everything from
vrptocvrp. - It extends the instance files with
k. - It changes the models to consider
k.
The first commit renames vrp/vrp.mzn to cvrp/cvrp_mip.mzn and the second commit replaces int K = N; with int: K;.
On my working copy:
> minizinc cvrp_cp.mzn simple2.dzn
objective = 34;
vehicle = [2, 4, 1, 4, 2, 3, 4, 1, 2, 3, 4, 5, 6, 7, 1, 2, 3, 4, 5, 6, 7];
arrivalTime = [5, 10, 2, 9, 11, 1, 5, 0, 0, 0, 0, 0, 0, 0, 4, 15, 2, 13, 0, 0, 0];
successor = [5, 18, 15, 2, 16, 17, 4, 3, 1, 6, 7, 19, 20, 21, 9, 10, 11, 12, 13, 14, 8];
----------
==========
> minizinc cvrp_mip.mzn simple2.dzn
x = [0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]
objective = 34
----------
==========
Of course, you are right, thanks for clarifying. Then everything should be OK :+1:
Thanks a lot for your work on this! I think we'll need to reorganise the repositories a bit before merging this one. Currently this repo has a dual role: as a set of benchmarks, but also to collect previous challenge problems. For the challenge problems, I would like to avoid renaming and modifying models. It's probably best to set up a separate repository with all only the challenge models and instances, exactly as they were run. Then we're free to make changes to this one without causing too much confusion. Does that make sense?
