Skip to content

Reference

Welcome to the Reference section! 📚

This section contains detailed documentation and technical information about the system. It’s designed for those who want to explore the inner workings, learn about specific components, or access essential resources.

What’s Inside

  • Sections: How to create the different sections from an ASP encoding.
  • Styling: How to style the output.
  • Predicate documentation: How to add doc strings for your predicates.
  • API Documentation: Comprehensive details on general classes.