Z3.Linq.Examples (nuget): Sample Theorems for Sudoku and River Crossing problems.
Keywords: Z3|LINQ|Solver|SMT|Examples|Sudoku|Bart|De|Smet|dotnet|linq|z3