Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/pkgs/by-name/mi/minizinc/simple-test/

• aust.mzn
• default.nix
• loan.mzn
• loan1.dzn
• nqueens.mzn