R. Ryantm bad4c65e90 minizincide: 2.8.4 -> 2.8.5		2024-06-17 17:26:33 +00:00
..
simple-test
default.nix	Merge pull request #316946 from r-ryantm/auto-update/minizinc	2024-06-10 15:46:51 +02:00
gecode.msc
ide.nix	minizincide: 2.8.4 -> 2.8.5	2024-06-17 17:26:33 +00:00