{"id":13645971,"url":"https://github.com/MiniZinc/MiniZincIDE","last_synced_at":"2025-04-21T17:31:45.617Z","repository":{"id":26118726,"uuid":"29563203","full_name":"MiniZinc/MiniZincIDE","owner":"MiniZinc","description":"The MiniZinc IDE","archived":false,"fork":false,"pushed_at":"2025-03-07T06:57:46.000Z","size":3070,"stargazers_count":148,"open_issues_count":26,"forks_count":22,"subscribers_count":15,"default_branch":"master","last_synced_at":"2025-04-04T17:05:15.436Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://www.minizinc.org","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MiniZinc.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2015-01-21T00:43:02.000Z","updated_at":"2025-03-09T05:22:23.000Z","dependencies_parsed_at":"2023-12-14T23:31:30.499Z","dependency_job_id":"dd88071e-5988-4884-adc1-49884e0a5322","html_url":"https://github.com/MiniZinc/MiniZincIDE","commit_stats":null,"previous_names":[],"tags_count":70,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniZincIDE","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniZincIDE/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniZincIDE/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniZincIDE/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MiniZinc","download_url":"https://codeload.github.com/MiniZinc/MiniZincIDE/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250100515,"owners_count":21374961,"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-08-02T01:02:46.021Z","updated_at":"2025-04-21T17:31:44.334Z","avatar_url":"https://github.com/MiniZinc.png","language":"C++","funding_links":[],"categories":["C++"],"sub_categories":[],"readme":"\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://www.minizinc.org/\"\u003e\n    \u003cimg src=\"https://www.minizinc.org/MiniZn_logo.png\" alt=\"Logo\" width=\"80\" height=\"80\"\u003e\n  \u003c/a\u003e\n\n  \u003ch3 align=\"center\"\u003eMiniZinc IDE\u003c/h3\u003e\n\n  \u003cp align=\"center\"\u003e\n    Integrated development environment for the high-level constraint modelling language\n    \u003ca href=\"https://www.minizinc.org\"\u003eMiniZinc\u003c/a\u003e.\n    \u003cbr /\u003e\n    \u003cbr /\u003e\n    \u003ca href=\"https://github.com/MiniZinc/libminizinc\"\u003eMiniZinc Compiler\u003c/a\u003e\n    ·\n    \u003ca href=\"https://www.minizinc.org/doc-latest/en/minizinc_ide.html\"\u003eDocumentation\u003c/a\u003e\n    ·\n    \u003ca href=\"https://github.com/MiniZinc/MiniZincIDE/issues\"\u003eReport Bug\u003c/a\u003e\n  \u003c/p\u003e\n\n  \u003cp align=\"center\"\u003e\n    \u003cimg src=\"https://docs.minizinc.dev/en/stable/images/mzn-ide-playground-data.jpg\" alt=\"The MiniZinc IDE\" style=\"max-width:768px;width:100%\"\u003e\n  \u003c/p\u003e\n\u003c/p\u003e\n\n## Getting started\n\nPackages for Linux, macOS and Windows can be found in the [releases](https://github.com/MiniZinc/MiniZincIDE/releases) or from [the MiniZinc\nwebsite](http://www.minizinc.org/software.html).\n\nThese packages contain the MiniZinc IDE, the MiniZinc compiler toolchain, as well as several solvers.\n\nFor more detailed installation instructions, see the [documentation](https://www.minizinc.org/doc-latest/en/installation.html).\n\n## Building from source\n\nThe MiniZinc IDE is a [Qt](https://www.qt.io/) project and requires:\n- A recent C++ compiler\n- [Qt](https://www.qt.io/) (we target the latest LTS Qt version)\n  - We also require the [Qt WebSockets](https://doc.qt.io/qt-6/qtwebsockets-index.html) module\n- [Make](https://www.gnu.org/software/make/)\n\nEnsure you clone the repository including submodules:\n\n```sh\ngit clone --recurse-submodules https://github.com/MiniZinc/MiniZincIDE\ncd MiniZincIDE\n```\n\nThen either build open the project (`MiniZincIDE.pro`) in Qt Creator and build, or from the command line:\n\n```sh\nmkdir build\ncd build\nqmake -makefile ../MiniZincIDE/MiniZincIDE.pro\nmake -j4\n```\n\nSee the [MiniZinc compiler project](https://github.com/MiniZinc/libminizinc) for instructions on how to build the compiler toolchain.\n\n### Running tests\n\nThe IDE has a test suite which can be compiled and run with:\n\n```sh\nmkdir test\ncd test\nqmake -makefile ../tests/tests.pro\nmake -j4\nmake check\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FMiniZinc%2FMiniZincIDE","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FMiniZinc%2FMiniZincIDE","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FMiniZinc%2FMiniZincIDE/lists"}