Known importers: 7 (displaying 8 packages, including internal and invalid packages) github.com/AislingHeanue/Advent-Of-Code/2023/core/day24 github.com/Brandhoej/go-z3/st github.com/Edward-L/go-z3/st github.com/borzacchiello/gosmt github.com/edward-l/go-z3/st github.com/hansonyubetter/go-z3/st github.com/spaspa/gorefinement/ (2) github.com/spaspa/gorefinement/liquid github.com/spaspa/gorefinement/z3Util