Pumpkin Core Developers
| name | Pumpkin Core Developers |
| Crates.io: | github:consol-lab:pumpkin-core-developers |
| GitHub user: | github:consol-lab:pumpkin-core-developers |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| pumpkin-solver | 2025-07-10 14:07:39.12198+00 | Pumpkin Core Developers | repo | 400 | GitHub Action | fmt |
| drcp-format | 2025-07-10 13:33:14.928196+00 | Pumpkin Core Developers | repo | 400 | GitHub Action | fmt |