Update from .NET 6 to .NET 8

endjin / Z3.Linq

LINQ bindings for the Z3 theorem prover from Microsoft Research.

MIT License

29 stars 3 forks source link

Closed WhitWaldo closed 7 months ago

WhitWaldo commented 7 months ago

Also swapped from an obsolete formatting type, removed some unused using statements and updated the Microsoft.Z3 package to the latest.

HowardvanRooijen commented 7 months ago

Oh excellent. This was on my backlog list for the Xmas break.