mitchellh / go-z3

Go (golang) bindings to the Z3 SMT Solver

mitchellh
mitchellh
Date Created 2017-03-03 (8 years ago)
Commits 20 (last one 5 years ago)
Stargazers 143 (0 this week)
Watchers 3 (0 this week)
Forks 24
License mit
This repository has been archived on Github
Ranking

RepositoryStats indexes 637,706 repositories, of these mitchellh/go-z3 is ranked #240,635 (62nd percentile) for total stargazers, and #420,030 for total watchers. Github reports the primary language for this repository as Go, for repositories using this language it is ranked #12,342/27,657.

mitchellh/go-z3 is also tagged with popular topics, for these it's ranked: golang (#4,365/8489),  go (#3,343/6199)

Other Information

mitchellh/go-z3 has 3 open pull requests on Github, 1 pull request has been merged over the lifetime of the repository.

Github issues are enabled, there are 4 open issues and 0 closed issues.

Star History

Github stargazers over time

1601601401401201201001008080606040402020002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

4444443.53.533333320232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

0 commits on the default branch (master) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

18181616141412121010886644220020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
443.53.5332.52.5221.51.5110.50.50020192019202020202021202120222022202320232024202420252025

Languages

The primary language is Go but there's also others...

GoGoCCMakefileMakefile

updated: 2025-03-07 @ 05:41am, id: 83750266 / R_kgDOBP3teg