Added BinaryCSP.py file