nixpkgs/pkgs/development/tools/minizinc
2023-11-18 05:26:33 +00:00
..
simple-test
default.nix
gecode.msc
ide.nix