Skip to content

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens) #9

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens)

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens) #9