def zdt6

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

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

84# ZDT6: C# default n=10, x ∈ [0,1]^n.
85def zdt6(n: Nat) -> Problem:
86  mk_prob(Zdt6{}, Bounds.unit_n(n, 2n))

Uses (5)

Used by (0)

No other definition uses this definition.