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

  • External equivalence: The notion of equivalence that anthem-cx reasons about, and what counts as a counterexample.
  • Counterexample search: How the counterexample (CX) program is built and solved.
  • Language: The fragment of ASP that anthem-cx supports, and the constructs it rejects.
  • API Documentation: Module-by-module reference, organized to mirror the package structure (analysis, transformation, utils, and the top-level modules).
  • CLI: The command-line interface and its options.

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