Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / PinkFrojdSenjak issue stats

Total issues: 4
Total pull requests: 0
Merged pull request: 0
Average time to close issues: about 2 hours
Average time to close pull requests: N/A
Average comments per issue: 0.75
Average comments per pull request: 0

Issues created

Z3Prover/z3: 1
pysmt/pysmt: 1
cvc5/cvc5: 1
stanford-centaur/smt-switch: 1

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

None (4, 100.00%)