The MiniZinc IDE
active 2023-08-22 → 2026-08-14 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 1089 days from 2023-08-22 to 2026-08-14. Pushes: 88 total, peak 4 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 52 total, peak 6 in a day. Comments: 64 total, peak 9 in a day. Stars: 40 total, peak 4 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| guidotack | 90 | 84 | 0 | 1 |
| cyderize | 35 | 0 | 0 | 28 |
| mslazynski | 14 | 0 | 0 | 9 |
| zayenz | 8 | 0 | 0 | 4 |
| Dekker1 | 8 | 4 | 0 | 2 |
| bluivy | 7 | 0 | 0 | 6 |
| CervEdin | 4 | 0 | 0 | 2 |
| Wout4 | 4 | 0 | 0 | 2 |
| lloy0076 | 4 | 0 | 0 | 2 |
| kyliank | 3 | 0 | 0 | 1 |
| arekpaterak | 3 | 0 | 0 | 2 |
| forceoffire | 3 | 0 | 0 | 1 |
| lquesada1975 | 2 | 0 | 0 | 0 |
| cprudhom | 2 | 0 | 0 | 0 |
| terrytktam | 2 | 0 | 0 | 1 |
| artsiomkaltovich | 1 | 0 | 0 | 0 |
| k-sidorov | 1 | 0 | 0 | 0 |
| hadipourh | 1 | 0 | 0 | 0 |
| i-kudryavtsev | 1 | 0 | 0 | 0 |
| JolanPhilippe | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#226terrytktam2026-01-29 12:48Missing bz2-1.dll after upgrading to 2.9.5
- Issue comment#226cyderize2026-01-28 04:58Missing bz2-1.dll after upgrading to 2.9.5
- Issue#226terrytktam2026-01-28 04:17Missing bz2-1.dll after upgrading to 2.9.5
- Issue#225a2342025-12-25 12:33Number of lines not displaying properly
- Issue#223zayenz2025-11-23 11:57Batch "Reload file" prompts
- Issue#222k-sidorov2025-10-05 16:48HiGHS crashes in verbose mode
- Issue comment#221cyderize2025-10-01 02:25Bundled CP-Sat does not work with MiniZinc 2.9.4 on Windows
- Issue#221cyderize2025-10-01 02:25Bundled CP-Sat does not work with MiniZinc 2.9.4 on Windows
- Issue#221kletzi2025-09-30 15:56Bundled CP-Sat does not work with MiniZinc 2.9.4 on Windows
- Issue comment#220zayenz2025-09-09 11:16Choice of `output` can make Gecode 6.3.0 nonterminate
- Issue comment#219forceoffire2025-08-15 05:14Overwriting of output file.
- Issue#219forceoffire2025-08-13 08:48Overwriting of output file.
- Issue comment#218Dekker12025-07-29 22:38OR-Tools CP-SAT FlatZinc backend fails to run due to missing shared library
- Issue#218Dekker12025-07-29 22:38OR-Tools CP-SAT FlatZinc backend fails to run due to missing shared library
- Issue#218hadipourh2025-07-29 18:05OR-Tools CP-SAT FlatZinc backend fails to run due to missing shared library
- Issue#217eyekant2025-07-05 10:37Crash when running model and clicking "Running model ... with ..."
- Releasecyderize2025-05-23 07:28MiniZinc 2.9.3
- Releasecyderize2025-03-06 07:27MiniZinc 2.9.2
- Issue comment#210guidotack2025-03-05 04:19One variable with long long int domain. One constraint. Very very long compile time.
- Issue#216lloy00762025-03-04 14:43"\(99)" where 99 is any number/integer causes memory error on Windows (MiniZinc 2.9.1)
- Releasecyderize2025-03-03 00:28MiniZinc 2.9.1
- Issue#212guidotack2025-03-02 23:30Output of file & line position of warnings in the MiniZinc IDE output window.
- Issue#213guidotack2025-03-02 23:30Configuration editor limited in width when many files are open in 2.9.0
- Issue#215zayenz2025-02-28 12:46Default to project folder when saving file in newly opened project
- Issue#214zayenz2025-02-28 12:44Add a "New data" toolbar button and short-cut command
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 40 stars here means stars gained during the window, not the repo's star count.