Mkdocs plugin for automatic documentation in clingo - View it on GitHub