nixpkgs/pkgs/development/tools/minizinc
2023-12-16 23:03:51 +00:00
..
simple-test
default.nix minizinc: 2.8.0 -> 2.8.2 2023-12-16 23:03:51 +00:00
gecode.msc
ide.nix