~/jendhub

def zdt1_n_obj

unified-nsga-iii@0.2.2.0 · lib.bend:46

import unified-nsga-iii@0.2.2.0/lib.bend as Lib
import Base
import unified-nsga-iii@0.2.2.0/problems.bend as Problems

46def zdt1_n_obj() -> Nat:
47  Problems.n_obj(Problems.zdt1(30n))

Uses (3)

Used by (0)

No other definition uses this definition.