Index of /minizinc

	Name	Last modified	Size	Description
	Parent Directory		-
	minizinc-2.5.1_0.dar..>	2020-10-23 13:13	4.1M
	minizinc-2.5.1_0.dar..>	2020-10-23 13:13	512
	minizinc-2.5.1_0.dar..>	2020-10-23 13:36	4.1M
	minizinc-2.5.1_0.dar..>	2020-10-23 13:36	512
	minizinc-2.5.1_0.dar..>	2020-10-23 13:18	4.1M
	minizinc-2.5.1_0.dar..>	2020-10-23 13:18	512
	minizinc-2.5.1_0.dar..>	2020-10-23 13:35	4.1M
	minizinc-2.5.1_0.dar..>	2020-10-23 13:35	512
	minizinc-2.5.1_0.dar..>	2020-10-23 14:16	4.1M
	minizinc-2.5.1_0.dar..>	2020-10-23 14:16	512
	minizinc-2.5.1_0.dar..>	2020-10-23 13:52	4.3M
	minizinc-2.5.1_0.dar..>	2020-10-23 13:52	512
	minizinc-2.5.2_0.dar..>	2020-11-15 12:48	4.1M
	minizinc-2.5.2_0.dar..>	2020-11-15 12:48	512
	minizinc-2.5.2_0.dar..>	2020-11-15 12:55	4.1M
	minizinc-2.5.2_0.dar..>	2020-11-15 12:55	512
	minizinc-2.5.2_0.dar..>	2020-11-15 12:54	4.1M
	minizinc-2.5.2_0.dar..>	2020-11-15 12:54	512
	minizinc-2.5.2_0.dar..>	2020-11-15 12:54	4.1M
	minizinc-2.5.2_0.dar..>	2020-11-15 12:54	512
	minizinc-2.5.2_0.dar..>	2020-11-15 12:59	4.2M
	minizinc-2.5.2_0.dar..>	2020-11-15 12:59	512
	minizinc-2.5.2_0.dar..>	2020-11-15 12:56	4.3M
	minizinc-2.5.2_0.dar..>	2020-11-15 12:56	512
	minizinc-2.5.2_0.dar..>	2020-11-16 13:37	4.1M
	minizinc-2.5.2_0.dar..>	2020-11-16 13:37	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:51	4.2M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:51	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:50	4.1M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:50	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:52	4.1M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:52	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:50	4.1M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:50	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:51	4.2M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:51	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:51	4.3M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:51	512
	minizinc-2.5.3_0.dar..>	2020-11-27 22:48	3.9M
	minizinc-2.5.3_0.dar..>	2020-11-27 22:48	512