Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / tools / minizinc / simple-test / 
treefc8bea8838286d5ef5ab5480dee8e9ab58086fb4
drwxr-xr-x   ..
-rw-r--r-- 513 aust.mzn
-rw-r--r-- 464 default.nix
-rw-r--r-- 775 loan.mzn
-rw-r--r-- 33 loan1.dzn