Is there any similar library in C# for Choco (Contraint Programming
I'm not familiar with the technology in question, but there is the Microsoft Solver Foundation which appears to do Constraint Programming
http://msdn.microsoft.com/en-us/devlabs/hh145003.aspx
http://msdn.microsoft.com/en-us/library/ff826354(v=vs.93).aspx