Update README.md
Merge remote-tracking branch 'origin/new_constraint_system'