Zen is a constraint solving library for .NET - View it on GitHub