endjin/Z3.Linq

LINQ bindings for the Z3 theorem prover from Microsoft Research.

语言：C# · GitHub 星标：43 · Fork：4

话题：dotnet · linq · z3

在 GitHub 上查看原仓库