microsoft/Zen

Zen is a constraint solving library for .NET

语言：C# · GitHub 星标：150 · Fork：13

话题：constraint · solving · verification · zen

在 GitHub 上查看原仓库