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

• API Documentation: Comprehensive details on general classes.
• ASP Encodings: Explore the encodings used in our system.
• Problem Specifications: Detailed description and definitions of the problem.

Use this section to find the information you need, whether you’re debugging, extending functionality, or learning more about the system.