PrototypeCommon
mitchellh/go-z3
Go (golang) bindings to the Z3 SMT Solver
Archived: this repository is read-only
- Owner
- mitchellh (personal account)
- Stars
- Stars: 148
- Forks
- Forks: 26
- Language
- Go
- License
- MIT
- Created
- 2017
- Topics
- golangsmt-solversat-solvergo
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by mitchellh
All 46 repos by mitchellh- mitchellh/mapstructureStars: 8,010GoStable
- mitchellh/vouchStars: 5,155NushellStable
- mitchellh/goxStars: 4,567GoRC
- mitchellh/libxevStars: 3,602ZigRC
- mitchellh/nixos-configStars: 3,117NixRC
- mitchellh/vagrant-awsStars: 2,583RubyRC
Nearby in Go
All Go repos- ywddd/grok-inspectionStars: 148GoPrototype
- decionis/dockerStars: 148GoPrototype
- bnlqn/overlookStars: 148GoPrototype
- peterbourgon/g2sStars: 148GoPrototype
- patrickmn/cpuburnStars: 148GoPrototype
- rwynn/gtmStars: 148GoPrototype