Z3.Linq 1.0.4-preview.3 Latest
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
Install from the command line:
Learn more about NuGet packages
$ dotnet add package Z3.Linq --version 1.0.4-preview.3
Recent Versions
- 0
- 0
- 0
- 0
- 0
Loading
Sorry, something went wrong.
Last published
almost 2 years ago
Issues
9
Total downloads