I changed the terminal and then it worked. On Wednesday, May 22, 2024 at 10:39:05 AM UTC-6 Brian Candler wrote:
> * Start in an empty directory > * Run "go mod init example" > * Create your main.go with that import statement in it > * Run: > > go mod tidy > go run . > > On Wednesday 22 May 2024 at 16:26:54 UTC+1 Kenneth Miller wrote: > >> I tried that, same error >> >> On Wednesday, May 22, 2024 at 9:12:58 AM UTC-6 Brian Candler wrote: >> >>> It's because the name of the module is "github.com/aclements/go-z3/z3", >>> not "z3" >>> >>> Only packages in the standard library have short names, like "fmt", >>> "strings" etc. >>> >>> On Wednesday 22 May 2024 at 15:46:30 UTC+1 robert engels wrote: >>> >>>> If it is your own code, you have to use >>>> >>>> import “github.com/aclements/go-z3/z3” >>>> >>>> or you need a special go.mod file. >>>> >>>> On May 22, 2024, at 9:38 AM, robert engels <ren...@ix.netcom.com> >>>> wrote: >>>> >>>> What are you trying to run? z3 is a library. >>>> >>>> On May 22, 2024, at 9:29 AM, Kenneth Miller <kennetha...@gmail.com> >>>> wrote: >>>> >>>> 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...@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 >>>> >>>> <https://groups.google.com/d/msgid/golang-nuts/d46b52fb-fa96-4544-914a-42bf83d75322n%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>>> >>>> >>>> -- >>>> 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...@googlegroups.com. >>>> >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/golang-nuts/EE0FDF46-94C6-44D6-98C0-19D52C371C20%40ix.netcom.com >>>> >>>> <https://groups.google.com/d/msgid/golang-nuts/EE0FDF46-94C6-44D6-98C0-19D52C371C20%40ix.netcom.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>>> >>>> -- 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/15cc3662-ecf3-4d8b-b75b-8a22bfcd231en%40googlegroups.com.
