updated documentation for new constraints submodule