def dtlz7
import unified-nsga-iii@0.2.2.0/problems.bend as Problemsimport Base
import unified-nsga-iii@0.2.2.0/bounds.bend as Bounds
119# DTLZ7: C# default M=3, k=20 ⇒ n=22.
120def dtlz7(+m: Nat, k: Nat) -> Problem:
121 mk_prob(Dtlz7{}, Bounds.unit_n(dtlz_n(m, k), m))
Uses (6)
Used by (0)
No other definition uses this definition.