1. added license notices and comments; 2. modified class TestCase, which now privately inherits from std::vector<std::size_t>; 3. fixed a bug for Constraint_A_Binary