Errors trying to use external pkg z3

[Kenneth Miller]

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

[robert engels]

What are you trying to run? z3 is a library.

--
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.

[robert engels]

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.

To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/EE0FDF46-94C6-44D6-98C0-19D52C371C20%40ix.netcom.com.

[Brian Candler]

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.

[Kenneth Miller]

I tried that, same error

[Brian Candler]

* 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 .

[Kenneth Miller]

I changed the terminal and then it worked.