PrototypeCommon
microsoft/Zen
Zen is a constraint solving library for .NET
- Owner
- microsoft (organization)
- Stars
- Stars: 150
- Forks
- Forks: 13
- Language
- C#
- License
- MIT
- Created
- 2020
- Topics
- verificationconstraintsolvingzen
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by microsoft
All 1,923 repos by microsoft- microsoft/vscodeStars: 194,462TypeScriptLTS
- microsoft/markitdownStars: 193,282PythonLTS
- microsoft/PowerToysStars: 140,398CLTS
- microsoft/generative-ai-for-beginnersStars: 122,672Jupyter NotebookLTS
- microsoft/TypeScriptStars: 111,714GoLTS
- microsoft/terminalStars: 105,311C++LTS
Nearby in C#
All C# repos- KamiYomu/KamiYomuStars: 150C#Prototype
- Youssef-Afella/UnityURP-FakeRealGlassStars: 150C#Prototype
- zoefix/agent-speedStars: 150C#Prototype
- yadyn/WPF-Task-DialogStars: 150C#Prototype
- gered/AppleWirelessKeyboardStars: 150C#Prototype
- huaisha1224/StardewValleyMODManagerStars: 150C#Prototype