From cebd6bc5c03e71b3928a6748508bdd2d2e861790 Mon Sep 17 00:00:00 2001 From: Howard van Rooijen Date: Sun, 10 Dec 2023 20:57:04 +0000 Subject: [PATCH] Tweak formatting --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3394cd2..8c87fb3 100644 --- a/README.md +++ b/README.md @@ -194,7 +194,7 @@ All PRs are welcome. 2021: [Howard van Rooijen](https://github.com/HowardvanRooijen) and [Ian Griffiths](https://github.com/idg10) ([endjin](https://github.com/endjin)) upgrade the project to `.NET 6.0`, added `Optimize` support via LINQ's `OrderBy`, [ValueTuple](https://docs.microsoft.com/en-us/dotnet/api/system.valuetuple?view=net-6.0) support, demonstrate using `record` types, and fix nullability issues. They upgraded the solution to use [Z3 NuGet package](https://www.nuget.org/packages/Microsoft.Z3.x64/), merged in features from [Jean-Sylvain Boige](https://github.com/jsboige) and [Karel Frajtak](https://github.com/kfrajtak) forks, created archives of Bart's original blog posts and talks. They republished the project as [Z3.Linq](https://github.com/endjin/Z3.Linq), created a new [Polyglot Notebook](https://github.com/dotnet/interactive) of [samples](examples/z3-problems.dib), and published a NuGet package [Z3.Linq](https://www.nuget.org/packages/Z3.Linq/). -2023: [Whit Waldo](https://github.com/WhitWaldo) upgrades the project to .NET 8.0 +2023: [Whit Waldo](https://github.com/WhitWaldo) upgrades the project to `.NET 8.0` ## Project Sponsor