nixpkgs/pkgs/development/tools/minizinc
2024-01-31 11:17:51 +11:00
..
simple-test
default.nix
gecode.msc
ide.nix