Add test.
Make two methods for adding unary/binary constraints. Add __backtracking_search() method.
Add tests for Assignment.as_string() and a trivial test case for CSP.solve().