GitHub / sjindel issue stats
Total issues: 3
Total pull requests: 2
Merged pull request: 2
Average time to close issues: 4 days
Average time to close pull requests: 2 months
Average comments per issue: 3.67
Average comments per pull request: 1.5
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (2, 66.67%)
- Collaborator (1, 33.33%)
Pull Request Author Associations
- Contributor (1, 50.00%)
- Collaborator (1, 50.00%)
Top Issue Labels
- Solver: CP-SAT Solver (2)
- Help Needed (1)
- Lang: C++ (1)
- Bug (1)