Skip to content

Constraint handler

Welcome to the documentation for the constraint_handler!

The constraint_handler is a powerful library built on top of Clingo. It is used for solving discrete combinatorial decision or optimization problems where constraints and variables are defined through expressions.

This documentation will guide you through the core concepts and advanced features of the system. You will find:

  • User Guide: Step-by-step instructions and practical examples to help you get started.
  • ASP Reference: Detailed documentation of the ASP primitives and syntax used in the constraint_handler.
  • Python Reference: API documentation for integrating and extending constraint_handler from Python.
  • Community & Help: Resources for getting support, contributing, and engaging with other users.

Whether you are new to ASP or an experienced user, this documentation aims to provide everything you need to effectively use and extend constraint_handler for your own projects.

Info

constraint_handler is part of the Potassco suite.