Welcome to ASPECT’s documentation!

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex

An intuitive and declarative way to graphically represent answer sets in LaTeX

Warning

This documentation applies only to version 0.2.1 or later of the ASPECT interpreter. Earlier versions are no longer supported due to a major syntax revision that introduced incompatibilities with older examples and reference materials.

Contents:

• Installation
  • Prerequisites
  • Install ASPECT
• Operating Modes
  • Standard Mode
  • Beamer Mode
  • Free Mode
  • Animate Mode
  • Other Options
• ASPECT Language
  • Standard Drawing Atoms
  • Graph Drawing Atoms
• ASPECT Attributes
  • Styles
  • Layers
  • Labels
• ASPECT Difference Logic
• Examples
  • Graph Coloring
  • N-queens Problem
  • Tower of Hanoi