.
>
> 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-z
22, 2024, at 9:38 AM, robert engels wrote:
>>
>> What are you trying to run? z3 is a library.
>>
>> On May 22, 2024, at 9:29 AM, Kenneth Miller
>> wrote:
>>
>> I did go get -u github.com/aclements/go-z3/z3
>>
>> but when I go run . I get
&
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
