Could we have a new release on nuget.org?
Author: HowardvanRooijenCreated Sep 1, 2026Updated Sep 2, 2026
Hi!
The latest release on https://www.nuget.org/packages/Microsoft.Z3 is v4.12.2 on 12/05/2023
Would it be possible to get a v5.1.0 release? Is there anything I can contribute to help set up trusted signing? We've just had to do this for Rx .NET and Reaqtor? Or via the .NET PG? I see you closed a similar issue in #9920
Many thanks from the maintainer of https://github.com/endjin/Z3.Linq/
Source: Z3Prover/z3