C# implementation of CSP baed on JCSP and C++ CSP2