Update README.
Add formula for CBC.
Add formula for CGL.
Add formula for CLP.