GitHub repository: microsoft/Zen
Primary language: C#
Description: Zen is a constraint solving library for .NET