changed documentation
Merge branch 'binary-constraints-tests-and-variables' into develop