HowardvanRooijen
commented
2 years ago - Modernise code from RicardoNiepel to .NET 6.0
- Migrate to new .csproj format
- Use nuget package references rather than direct binary references (latest Microsoft.Z3.x64 package)
- Add ValueTuple support
- Fix nullability issues
- Use pattern matching to simplify code
- Add features from various forks of Z3.LinqBinding
- Jean-Sylvain Boige - Missionaries & Cannibals & Optimization support.
- Karel Frajtak - Fractions & Expression Tree improvements.
- Add DevOps processes
- Add PowerShell based build process for local or hosted builds
- Add GitHub Actions support
- Add GitVersion versioning support
- Make the solution redistributable
- Z3.Linq & Z3.Linq.Examples nuget packages
- Improve examples
- Add examples from Bart De Smet's various "LINQ to Everything" talks (PDC, TechEd, Channel 9)
- Port Missionaries & Cannibals example from Jean-Sylvain Boige. Improve this sample to be "more LINQ-y"
- Add working example of the "Price Optimised Oil Purchasing" - originally implemented for Solver Foundation.
- Add a .NET Interactive Notebook version of the examples
- Locate and archive relevant content
- Use the Way Back Machine to find copies of Bart De Smet's original blog posts, and convert these from HTML to Markdown
- Take a copy of Bart's "LINQ to Z3" Channel9 Interview and LINQ to Everything TechEd Europe 2012 presentation, clean up the audio and upload to Vimeo.