def zdt3

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

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

70def zdt3(n: Nat) -> Problem:
71  mk_prob(Zdt3{}, Bounds.unit_n(n, 2n))

Uses (5)

Used by (0)

No other definition uses this definition.