A package src.devoted to propagation over Boolean combinations of constraints.
Related Documentation
For tutorials, examples, documentation and technical notes, see:
Link