Text this: Constraints, lazy constraints, or propagators in ASP solving