0xcd07e24a relies on unsafe/foreign

0xcd07e24a626a62e74603d48f436cd679

Unsga3Algorithm.Run — C# Unsga3.Algorithm.Unsga3Algorithm.

Anonymous package: import it by hash.

Published

2026-09-19

Size

114,731 bytes, 14 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 483 defs, 25 types

Import

import 0xcd07e24a626a62e74603d48f436cd679/algorithm.bend as Algorithm
import 0xcd07e24a626a62e74603d48f436cd679/bounds.bend as Bounds
import 0xcd07e24a626a62e74603d48f436cd679/individual.bend as Individual
import 0xcd07e24a626a62e74603d48f436cd679/lib.bend as Lib
import 0xcd07e24a626a62e74603d48f436cd679/non_dominated_sort.bend as Non_dominated_sort
import 0xcd07e24a626a62e74603d48f436cd679/normalization.bend as Normalization
import 0xcd07e24a626a62e74603d48f436cd679/polynomial_mutation.bend as Polynomial_mutation
import 0xcd07e24a626a62e74603d48f436cd679/problems.bend as Problems
import 0xcd07e24a626a62e74603d48f436cd679/reference_directions.bend as Reference_directions
import 0xcd07e24a626a62e74603d48f436cd679/rng.bend as Rng
import 0xcd07e24a626a62e74603d48f436cd679/sbx.bend as Sbx
import 0xcd07e24a626a62e74603d48f436cd679/survival.bend as Survival
import 0xcd07e24a626a62e74603d48f436cd679/tournament.bend as Tournament
import 0xcd07e24a626a62e74603d48f436cd679/util.bend as Util

Modules

• algorithm.bend 67 declarations — Unsga3Algorithm.Run — C# Unsga3.Algorithm.Unsga3Algorithm.
• bounds.bend 14 declarations — IProblem box — variable count + per-var [lo, hi].
• individual.bend 19 declarations — Individual — C# Unsga3.Algorithm.Individual.
• lib.bend 13 declarations — Core + pass-2 facade. Importing this file is the module graph check:
• non_dominated_sort.bend 31 declarations — NonDominatedSort — C# Unsga3.Core.NonDominatedSort.
• normalization.bend 76 declarations — Normalization — C# Unsga3.Core.Normalization (v0).
• polynomial_mutation.bend 20 declarations — Polynomial mutation — C# Unsga3.Operators.Mutation.PolynomialMutation.
• problems.bend 34 declarations — Named problems — C# Unsga3.Problems Zdt1 / Zdt2 / Dtlz2.
• reference_directions.bend 16 declarations — ReferenceDirections — C# Unsga3.Utilities.ReferenceDirections.
• rng.bend 19 declarations — RandomProvider surface — C# Unsga3.Utilities.RandomProvider.
• sbx.bend 23 declarations — Simulated Binary Crossover — C# Unsga3.Operators.Crossover.SimulatedBinaryCrossover.
• survival.bend 127 declarations — Survival / niching — C# ReferencePointManager + NondominatedSortingSurvival.
• tournament.bend 32 declarations — Mating tournament — C# TournamentSelection / TournamentMode.
• util.bend 45 declarations — Shared helpers. Parallelize independent list splits; keep these total.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 10 defs rely on unsafe or foreign code:
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.nth_comp.go
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.nth_comp
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.nth_row
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.comps_all
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.das_dennis.from
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.das_dennis
- smoke_zdt1
- oracle_zdt1
- oracle_dtlz2
- run_zdt1_smoke

SOME PROOFS FAIL
Error: 11 defs rely on unsafe or foreign code:
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.nth_comp.go
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.nth_comp
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.nth_row
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.comps_all
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.das_dennis.from
- 0xcd07e24a626a62e74603d48f436cd679/reference_directions.das_dennis
- 0xcd07e24a626a62e74603d48f436cd679/algorithm.smoke_zdt1
- 0xcd07e24a626a62e74603d48f436cd679/algorithm.oracle_zdt1
- 0xcd07e24a626a62e74603d48f436cd679/algorithm.oracle_dtlz2
- 0xcd07e24a626a62e74603d48f436cd679/algorithm.run_zdt1_smoke
- das_dennis_m1

SOME PROOFS FAIL
Error: 6 defs rely on unsafe or foreign code:
- nth_comp.go
- nth_comp
- nth_row
- comps_all
- das_dennis.from
- das_dennis