Top 4.8% dependent repos on proxy.golang.org
Top 4.8% forks on proxy.golang.org
proxy.golang.org : github.com/mitchellh/go-z3
Package z3 provides Go bindings to the Z3 SMT Solver. The bindings are a balance between idiomatic Go and being an obvious translation from the Z3 API so you can look up Z3 APIs and find the intuitive mapping in Go. The most foreign thing to Go programmers will be error handling. Rather than return the `error` type from almost every function, the z3 package mimics Z3's API by requiring you to set an error handler callback. This error handler will be invoked whenenver an error occurs. See ErrorHandler and Context.SetErrorHandler for more information.
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/mitchellh/go-z3
Keywords:
go
, golang
, sat-solver
, smt-solver
License: MIT
Latest release: over 5 years ago
First release: over 5 years ago
Namespace: github.com/mitchellh
Dependent repositories: 1
Stars: 128 on GitHub
Forks: 21 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago