Skip to content

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

View all versions

Loading

Details

Last published

over 1 year ago

Issues

8

Total downloads

0