def zdt2

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

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

67def zdt2(n: Nat) -> Problem:
68  mk_prob(Zdt2{}, Bounds.unit_n(n, 2n))

Uses (5)

Used by (0)

No other definition uses this definition.