The constraint handler is a clingo library that supports solving discrete combinatorial decision or optimization problems where constraints and variables are defined through expressions.

Documentation

Resources