I did go get -u github.com/aclements/go-z3/z3 but when I go run . I get
main.go:5:2: package z3 is not in std the offending line is import "z3" can someone help me please? I'm sure this has been asked before but I couldn't find it -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/d46b52fb-fa96-4544-914a-42bf83d75322n%40googlegroups.com.
