Jip J. Dekker b2c07d4a34 minizincide: 2.5.5 -> 2.8.2

2024-01-31 11:17:51 +11:00

..

simple-test

…

default.nix

minizinc: 2.8.0 -> 2.8.2

2023-12-16 23:03:51 +00:00

gecode.msc

…

ide.nix

minizincide: 2.5.5 -> 2.8.2

2024-01-31 11:17:51 +11:00