Skip to content

谷歌OR-Tool求解器

active 2023-08-15 → 2026-09-24 (UTC)

Complete coverage27,286 / 27,289 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
9.5K
Pushes
2.6K
Pull requests
422
Issues
809
Stars
3.1K
Forks
418

Activity over time

Daily event counts in the loaded window

Line chart, 1137 days from 2023-08-15 to 2026-09-24. Pushes: 2,617 total, peak 19 in a day. Pull requests: 422 total, peak 9 in a day. Issues: 809 total, peak 14 in a day. Comments: 1,766 total, peak 27 in a day. Stars: 3,050 total, peak 29 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

ContributorContributionsPushesPRsComments
Mizux2.2K1.6K125313
lperron1.8K87164628
gchatelet243165726
dependabot[bot]5304112
pet-mit3901421
sgatto370219
dourouc053318310
arnabanimesh2901113
flomnes250912
CervEdin250120
google-cla[bot]220022
ron-at-swgy220712
hanno-becker210018
ozan-cb180113
yurivict16006
djunglas160210
longhuihy160013
dimbleby150210
CADBIMDeveloper15036
Dr-Irv14009

Recent activity

Latest issues, pull requests and releases

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3,050 stars here means stars gained during the window, not the repo's star count.