R. Ryantm 603e07da41 minizincide: 2.8.6 -> 2.8.7		2024-10-30 20:33:55 +00:00
..
simple-test
default.nix	minizinc: 2.8.6 -> 2.8.7	2024-10-05 05:32:29 +00:00
gecode.msc
ide.nix	minizincide: 2.8.6 -> 2.8.7	2024-10-30 20:33:55 +00:00