Z3.Linq (nuget): LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
Keywords: Z3|LINQ|Solver|SMT|Bart|De|Smet|dotnet|linq|z3