General CSP solver with various examples