The goal is to simplify the process of defining and running custom extensions by providing a structured way to specify syntax, semantics, and solver configurations. Modelers can focus on the ASP encodings that define the details of their extension, while metasp takes care of the rest.

  • No need for any Python coding!
  • Supports different solvers such as clingo, clingcon, and more.
  • No need to worry about grounding simplifications metasp takes care of that for you.
  • Custom operators can be nested and appear anywhere in the encoding.

Useful features

  • Customization of output through Python scripts.
  • Logging from the ASP encodings.
  • Comment-based definition of tests for your extension as part of the ASP encodings.
  • Built in clinguin interface for interactive use.
  • Support for clingoDL, clingcon and flingo as solvers.

Documentation

Resources

Publications