/pkgs/development/tools/minizinc/simple-test/