0xa2f9d6ef relies on unsafe/foreign

0xa2f9d6ef8c474468bf1de15ebe70c512

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

Anonymous package: import it by hash.

Published

2026-09-30

Size

135,758 bytes, 14 files

License

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

Declarations

0 laws (0 proved), 567 defs, 27 types

Import

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

Modules

• algorithm.bend 80 declarations — Unsga3Algorithm.Run — C# Unsga3.Algorithm.Unsga3Algorithm.
• bounds.bend 15 declarations — IProblem box — variable count + per-var [lo, hi].
• individual.bend 25 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 37 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 95 declarations — Named problems — C# Unsga3.Problems.
• 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 128 declarations — Survival / niching — C# ReferencePointManager + NondominatedSortingSurvival.
• tournament.bend 39 declarations — Mating tournament — C# TournamentSelection / TournamentMode.
• util.bend 48 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:
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.nth_comp.go
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.nth_comp
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.nth_row
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.comps_all
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.das_dennis.from
- 0xa2f9d6ef8c474468bf1de15ebe70c512/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:
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.nth_comp.go
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.nth_comp
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.nth_row
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.comps_all
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.das_dennis.from
- 0xa2f9d6ef8c474468bf1de15ebe70c512/reference_directions.das_dennis
- 0xa2f9d6ef8c474468bf1de15ebe70c512/algorithm.smoke_zdt1
- 0xa2f9d6ef8c474468bf1de15ebe70c512/algorithm.oracle_zdt1
- 0xa2f9d6ef8c474468bf1de15ebe70c512/algorithm.oracle_dtlz2
- 0xa2f9d6ef8c474468bf1de15ebe70c512/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