CPSolver.Constraint.Count (Fixpoint v0.8.44)

Constraints c to be the number of occurencies of y in array.

Summary

Functions