modify AC3 algorithm (#717)
* added submodule * fixed ac3 in csp.py * added a test to verify the modified ac3 algorithm in csp.py * Update .gitmodules
Veuillez vous inscrire ou vous connecter pour commenter
* added submodule * fixed ac3 in csp.py * added a test to verify the modified ac3 algorithm in csp.py * Update .gitmodules