def zdt1
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
63# ZDT1 / ZDT2 / ZDT3: n variables (C# default 30), 2 objectives, x ∈ [0,1]^n.
64def zdt1(n: Nat) -> Problem:
65 mk_prob(Zdt1{}, Bounds.unit_n(n, 2n))