sci-mathematics/z3 virtual/dotnet-sdk:10.0 >=sys-libs/glibc-2.42-r7
