Propagators

The theory interface of clingo provides an easy way to integrate dedicated theory propagators. Here is a list of example propagators.

• Pigeonhole propagator outsourcing one Pigeonhole integrity constraint to a propagator.
  • Clingo C API
  • Clingo Lua API (browser example)
• Dot propagator printing a dot for each propagated atom.
  • Clingo release, Python version
• Sequence mining propagator checking whether a pattern contains a sequence.
  • Clingo release, Python version
• Linear programming propagator.
  • Python version
• Difference logic propagator.
  • C++ version
  • Python version