go-z3
go-z3 copied to clipboard
aclements
Bindings for the Z3 SMT solver
The current version of go-z3 doesn't build with the latest z3 (4.8.13). This PR makes some fixes so that it does. * Some changes to true/false constants and sized int...
Does your package support string operations? If so, how would I add a string constraint? If I wanted to go about implementing string operation support, would I be better off...
This object allows users to solve min/max problems with Z3.
Hello Austin, `NewContext` seems to cause a panic when called from multiple go routines (you may need to change `n` in the following snippet): package main import "github.com/aclements/go-z3/z3" const n...
