~/jendhub

def dtlz2

unified-nsga-iii@0.2.2.0 · problems.bend:100

import unified-nsga-iii@0.2.2.0/problems.bend as Problems
import Base
import unified-nsga-iii@0.2.2.0/bounds.bend as Bounds

100# DTLZ2: C# default M=3, k=10 ⇒ n=12, x ∈ [0,1]^n.
101def dtlz2(+m: Nat, k: Nat) -> Problem:
102  mk_prob(Dtlz2{}, Bounds.unit_n(dtlz_n(m, k), m))

Uses (6)

Used by (1)