ifscs-0.1.0.0: An inductive-form set constraint solver
Constraints.Set.MapReduce
mapReduceThresh
Arguments
Threshold to start serial computation
A foldable sequence of elements to map over
A map operation to apply
Combine results
Seed value