added function to make binary constraint using hidden variables
added more examples of CSP