Z3.Linq.Examples 1.0.4-preview.1
Install from the command line:
Learn more about NuGet packages
$ dotnet add package Z3.Linq.Examples --version 1.0.4-preview.1
About this version
Sample Theorems for Sudoku and River Crossing problems.
Details
- Z3.Linq.Examples
-
endjin
- over 3 years ago
Assets
- Z3.Linq.Examples.1.0.4-preview.1.nupkg
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0