If it is your own code, you have to use import “github.com/aclements/go-z3/z3 <http://github.com/aclements/go-z3/z3>”
or you need a special go.mod file. > On May 22, 2024, at 9:38 AM, robert engels <reng...@ix.netcom.com> wrote: > > What are you trying to run? z3 is a library. > >> On May 22, 2024, at 9:29 AM, Kenneth Miller <kennethadammil...@gmail.com >> <mailto:kennethadammil...@gmail.com>> wrote: >> >> I did go get -u github.com/aclements/go-z3/z3 >> <http://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 >> <mailto: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 >> >> <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+unsubscr...@googlegroups.com > <mailto:golang-nuts+unsubscr...@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/AF8256CE-EF92-432C-95E0-4F6198B3EDA2%40ix.netcom.com.
