CPSolver.Constraint.Count (Fixpoint v0.8.41)
Constraints c
to be the number of occurencies of y
in array
.
Summary
Functions
Link to this function
new(args)
Link to this function
Constraints c
to be the number of occurencies of y
in array
.