Skip to content

谷歌OR-Tool求解器

active 2023-08-15 → 2026-11-07 (UTC)

Complete coverage28,369 / 28,369 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-09 (UTC)
Events
9.5K
Pushes
2.6K
Pull requests
427
Issues
813
Stars
3.1K
Forks
419

Activity over time

Daily event counts in the loaded window

Line chart, 1181 days from 2023-08-15 to 2026-11-07. Pushes: 2,633 total, peak 19 in a day. Pull requests: 427 total, peak 9 in a day. Issues: 813 total, peak 14 in a day. Comments: 1,770 total, peak 27 in a day. Stars: 3,052 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.6K129314
lperron1.8K87264629
gchatelet249168756
dependabot[bot]5304112
pet-mit3901421
dourouc053720312
sgatto370219
arnabanimesh2901113
flomnes250912
CervEdin250120
google-cla[bot]220022
ron-at-swgy220712
hanno-becker210018
ozan-cb180113
longhuihy160013
djunglas160210
yurivict16006
CADBIMDeveloper15036
dimbleby150210
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,052 stars here means stars gained during the window, not the repo's star count.