A package src.devoted to propagation over Boolean combinations of constraints.

Related Documentation

For tutorials, examples, documentation and technical notes, see: