Jip J. Dekker b2c07d4a34 minizincide: 2.5.5 -> 2.8.2		2024-01-31 11:17:51 +11:00
..
simple-test
default.nix
gecode.msc
ide.nix	minizincide: 2.5.5 -> 2.8.2	2024-01-31 11:17:51 +11:00