clindocs is an automated documentation tool tailored for Answer Set Programming (ASP) code. Built on MkDocs and mkdocs-material, it streamlines the creation of high-quality documentation with the following features:

• Render encodings: Automatically format ASP encodings with comments written in Markdown.
• Predicate analysis: Collect and document predicates used across included files.
• Navigation-friendly documentation: Generate organized predicate documentation with intuitive navigation.
• Input/output identification: Detect and highlight input and output predicates.
• Dependency graphs: Visualize dependencies between predicates and files.

For installation instructions and detailed usage, visit our official documentation.