GitHub - astra-uu-se/topic-swapping: MiniZinc model(s) and results for the Topic-Swapping problem

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
12_12_18.txt		12_12_18.txt
12_6_5.txt		12_6_5.txt
12_8_11.txt		12_8_11.txt
24_12_11.txt		24_12_11.txt
24_18_23.txt		24_18_23.txt
24_24_36.txt		24_24_36.txt
48_24_23.txt		48_24_23.txt
48_36_47.txt		48_36_47.txt
48_48_72.txt		48_48_72.txt
6_4_6.txt		6_4_6.txt
6_6_9.txt		6_6_9.txt
topic-swapping.mzn		topic-swapping.mzn
topic_swapping.sh		topic_swapping.sh