"""Explicit constraint operators and residuals; no ASP frontend is implied."""