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