Documentation

Model.addGenConstrAnd()