{"id":20852347,"url":"https://github.com/minizinc/minizinc-benchmarks","last_synced_at":"2025-08-07T14:33:13.746Z","repository":{"id":8926840,"uuid":"10656461","full_name":"MiniZinc/minizinc-benchmarks","owner":"MiniZinc","description":"A suite of MiniZinc benchmarks.","archived":false,"fork":false,"pushed_at":"2020-10-09T15:04:44.000Z","size":26008,"stargazers_count":85,"open_issues_count":8,"forks_count":30,"subscribers_count":16,"default_branch":"master","last_synced_at":"2025-05-12T16:55:28.110Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MiniZinc.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-06-13T01:42:25.000Z","updated_at":"2025-04-22T12:58:19.000Z","dependencies_parsed_at":"2022-08-27T23:10:23.713Z","dependency_job_id":null,"html_url":"https://github.com/MiniZinc/minizinc-benchmarks","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/MiniZinc/minizinc-benchmarks","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2Fminizinc-benchmarks","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2Fminizinc-benchmarks/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2Fminizinc-benchmarks/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2Fminizinc-benchmarks/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MiniZinc","download_url":"https://codeload.github.com/MiniZinc/minizinc-benchmarks/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2Fminizinc-benchmarks/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":260301992,"owners_count":22988721,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-18T03:17:20.667Z","updated_at":"2025-06-17T06:05:32.874Z","avatar_url":"https://github.com/MiniZinc.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"Each problem should be placed in a separate directory.\n\nEach directory should contain model files (.mzn) and data files (.dzn).\nThe data files may be in subdirectories, but said subdirectories should\nNOT be named 'data' (or any case-based variation thereof).  The\nrunbenchmarks script treats a file named DATA specially, and on\ncase-insensitive filesystems a subdirectory named 'data' causes a name\nclash.\n\nA directory may only contain multiple models if each of the models\nare compatible with all of the data files.  Incompatible models and\ndata files should be separated into different directories.\n\nMiniZinc Challenge 2008 Problems\n--------------------------------\nThe models and data files used in the 2008 MiniZinc challenge are in the\nfollowing directories:\n\n        debruijn_binary\n        nmseq\n        pentominoes\n        quasigroup7\n        radiation\n        rcpsp\n        search_stress\n        shortest_path\n        slow_convergence\n        trucking**\n\n** trucking.mzn was trucking_no_colgen.mzn at the time.\n\nMiniZinc Challenge 2009 Problems\n--------------------------------\nThe models and data files used in the 2009 MiniZinc challenge are in the\nfollowing directories:\n\n        black-hole\n        fillomino\n        nonogram\n        p1f\n        prop_stress\n        rectangle-packing\n        roster\n        search_stress2\n        still_life2             (**)\n        vrp\n\n** This was called \"still_life\" in the challenge, but we already had something\nof that name in the benchmark suite.\n\nMiniZinc Challenge 2010 Problems\n--------------------------------\nThe models and data files used in the 2010 MiniZinc challenge are in\nthe following directories:\n\n\tbacp\n\tcostas-array\n\tdepot-placement\n\tfilters\n\tghoulomb\n\tgrid-colouring\n\trcpsp-max\n\tsolbat\n\tsugiyama\n\twwtp-random\n\twwtp-real\n\nIn addition the following were problems were submitted for the 2010\nchallenge but no instances were selected by the judges:\n\n\tevilshop\n\tjobshop2\n\nMiniZinc Challenge 2012 Problems\n--------------------------------\nThe models and data files used in the 2012 MiniZinc challenge are in\nthe following directories:\n\n\tamaze\t(contains both amaze.mzn and amaze2.mzn)\n\tcarpet-cutting\n\tfast-food\n\tfilters\n\tleague\n\tmspsp\n\tnonogram\n\tparity-learning\n\tpattern-set-mining\n\tproject-planning\n\tradiation\n\tship-schedule\n\tsolbat\n\tstill-life-wastage\n\ttpp\n\ttrain\n\tvrp\n\nMiniZinc Challenge 2013 Problems\n--------------------------------\nThe models and data files used in the 2013 MiniZinc challenge are\nin the following directories:\n\n       cargo\n       celar\n       flexible-jobshop\n\nNote that the directories above typically contain more instances than were actually\nused in the challenge.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fminizinc%2Fminizinc-benchmarks","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fminizinc%2Fminizinc-benchmarks","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fminizinc%2Fminizinc-benchmarks/lists"}