All documentation, beside an `@autodoc` and a very basic README should be transferred to JuliaConstraints.github.io See https://github.com/JuliaConstraints/JuliaConstraints.github.io/issues/2