Add *~ files to .gitignore
Implement a simple CSP framework with a simple SAC solver and a majority polymorphism detection.