dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / stable-marriage.dzn
at develop 230 B view raw
1n = 5; 2rankWomen = 3 [| 1, 2, 4, 3, 5, 4 | 3, 5, 1, 2, 4, 5 | 5, 4, 2, 1, 3, 6 | 1, 3, 5, 4, 2, 7 | 4, 2, 3, 5, 1 |]; 8 9rankMen = 10 [| 5, 1, 2, 4, 3, 11 | 4, 1, 3, 2, 5, 12 | 5, 3, 2, 4, 1, 13 | 1, 5, 4, 3, 2, 14 | 4, 3, 2, 1, 5 |];