| key | value |
|---|---|
| id | 32944298 |
| name | z3 |
| full_name | Z3Prover/z3 |
| html_url | https://github.com/Z3Prover/z3 |
| description | The Z3 Theorem Prover |
| created_at | March 26, 2015, 6:16 p.m. |
| updated_at | April 20, 2024, 6:57 p.m. |
| pushed_at | April 20, 2024, 6:57 p.m. |
| size | 131,965 |
| stargazers_count | 9,708 |
| watchers_count | 180 |
| forks_count | 1,435 |
| open_issues | 140 |
| language | C++ |
| awesome_list |