# mitchellh/go-z3

<https://repo.masters-masters.com/en/repos/mitchellh/go-z3>

[Home](https://repo.masters-masters.com/en) › [mitchellh](https://repo.masters-masters.com/en/owners/mitchellh) › [go-z3](https://repo.masters-masters.com/en/repos/mitchellh/go-z3)

mitchellh/go-z3 has 148 stars on GitHub. Its RepoMasters card: Prototype tier. Go (golang) bindings to the Z3 SMT Solver Language: Go.

| Field | Value |
| --- | --- |
| Owner | [mitchellh](https://repo.masters-masters.com/en/owners/mitchellh) |
| Stars | 148 |
| Forks | 26 |
| Language | [Go](https://repo.masters-masters.com/en/languages/go) |
| License | MIT |
| Created | 2017 |
| Topics | golang, smt-solver, sat-solver, go |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [mitchellh/go-z3](https://github.com/mitchellh/go-z3) |

## Repository

Go (golang) bindings to the Z3 SMT Solver

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by mitchellh

- [mitchellh/mapstructure · ★ 8,009 · Go · Stable](https://repo.masters-masters.com/en/repos/mitchellh/mapstructure)
- [mitchellh/vouch · ★ 5,156 · Nushell · Stable](https://repo.masters-masters.com/en/repos/mitchellh/vouch)
- [mitchellh/gox · ★ 4,566 · Go · RC](https://repo.masters-masters.com/en/repos/mitchellh/gox)
- [mitchellh/libxev · ★ 3,601 · Zig · RC](https://repo.masters-masters.com/en/repos/mitchellh/libxev)
- [mitchellh/nixos-config · ★ 3,117 · Nix · RC](https://repo.masters-masters.com/en/repos/mitchellh/nixos-config)
- [mitchellh/vagrant-aws · ★ 2,583 · Ruby · RC](https://repo.masters-masters.com/en/repos/mitchellh/vagrant-aws)

## Nearby in Go

- [6Kmfi6HP/opencode2api · ★ 148 · Go · Prototype](https://repo.masters-masters.com/en/repos/6Kmfi6HP/opencode2api)
- [ywddd/grok-inspection · ★ 148 · Go · Prototype](https://repo.masters-masters.com/en/repos/ywddd/grok-inspection)
- [decionis/docker · ★ 148 · Go · Prototype](https://repo.masters-masters.com/en/repos/decionis/docker)
- [peterbourgon/g2s · ★ 148 · Go · Prototype](https://repo.masters-masters.com/en/repos/peterbourgon/g2s)
- [patrickmn/cpuburn · ★ 148 · Go · Prototype](https://repo.masters-masters.com/en/repos/patrickmn/cpuburn)
- [t-yuki/gocover-cobertura · ★ 148 · Go · Prototype](https://repo.masters-masters.com/en/repos/t-yuki/gocover-cobertura)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.