pqx123-lgtm/moonbit-vrp-solver/search

README
U
AnnealingConfig
U
AnnealingRun
U
BenchmarkCase
U
BenchmarkResult
U
CatalogEntry
U
ConstraintSummary
U
CostBreakdown
U
Customer
U
Depot
U
DestroyOperator
U
DistanceMetric
U
FeasibilityAssessment
U
FeasibilityPolicy
U
GeneratorConfig
U
ImprovementReport
U
LocalSearchConfig
U
MultiStartRun
U
NeighborhoodKind
U
ParseError
U
PortfolioResult
U
ProblemVariant
U
RelatednessWeights
U
RepairOperator
U
RouteEncodingError
U
RouteMetrics
U
RoutePlan
U
RouteProfile
U
SearchSummary
U
Solution
U
SolveConfig
U
SolveResult
U
SolveStats
U
ValidationIssue
U
ValidationReport
U
VehicleProfile
U
VrpInstance
V
a_n32_k5_case
V
a_n32_k5_text
V
acceptance_probability
V
all_sample_names
V
analyze_instance
V
anneal
V
ascii_route_map
V
ascii_route_map_with_legend
V
assess_solution
V
balanced_dispatch_sample
V
benchmark_header
V
benchmark_result_markdown
V
best_relocate
V
best_reverse
V
best_swap
V
build_route
V
build_solution
V
catalog_customer_total
V
catalog_find
V
catalog_names
V
catalog_overview
V
catalog_variant_count
V
clarke_wright_seed
V
decode_routes
V
demand_first_repair
V
destroy_fraction
V
destroy_solution
V
encode_routes
V
feasible_insertions
V
generate_cvrp
V
generate_vrptw
V
generated_stress_sample
V
greedy_repair
V
infeasible_capacity_sample
V
instance_fingerprint
V
instance_overview
V
local_search
V
make_instance
V
make_instance_with_metric
V
micro_cvrp_sample
V
parse_cvrp
V
parse_instance
V
parse_solomon
V
regret2_repair
V
relatedness_score
V
repair_solution
V
repair_until_stable
V
repair_with_priority
V
result_text
V
route_balance_score
V
route_markdown
V
route_metrics_csv
V
route_metrics_text
V
route_profile
V
run_case
V
sample_by_name
V
sample_catalog
V
sample_names
V
small_cvrp_sample
V
solution_csv
V
solution_diagnostics
V
solution_markdown
V
solution_markdown_detailed
V
solution_report_bundle
V
solution_signature
V
solution_text
V
solution_text_detailed
V
solve
V
solve_portfolio
V
solve_with_seed
V
solve_with_strategies
V
summarize_search
V
summarize_solution
V
tight_vrptw_sample
V
time_window_repair
V
urban_vrptw_sample
V
validate_instance
V
validate_solution
V
variable_neighborhood_descent

pqx123-lgtm/moonbit-vrp-solver/search does not have a README file

AnnealingConfig

pub struct AnnealingConfig {
  iterations : Int
  initial_temperature : Double
  cooling_rate : Double
  destroy_size : Int
  seed : Int
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

Parameters for the optional simulated-annealing driver.

AnnealingConfig::cooling_rate

source

fn AnnealingConfig::cooling_rate(self : AnnealingConfig) -> Double

AnnealingConfig::default

source

fn AnnealingConfig::default() -> AnnealingConfig

AnnealingConfig::destroy_size

source

fn AnnealingConfig::destroy_size(self : AnnealingConfig) -> Int

AnnealingConfig::initial_temperature

source

fn AnnealingConfig::initial_temperature(self : AnnealingConfig) -> Double

AnnealingConfig::iterations

source

fn AnnealingConfig::iterations(self : AnnealingConfig) -> Int

AnnealingConfig::seed

source

fn AnnealingConfig::seed(self : AnnealingConfig) -> Int

AnnealingConfig::tune

source

fn AnnealingConfig::tune(self : AnnealingConfig, iterations? : Int, initial_temperature? : Double, cooling_rate? : Double, destroy_size? : Int, seed? : Int) -> AnnealingConfig

AnnealingRun

source

pub struct AnnealingRun {
  result : @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult
  iterations : Int
  accepted_moves : Int
  improved_moves : Int
  final_temperature : Double
} derive(@moonbitlang/core/debug.Debug
Debug)

AnnealingRun::accepted_moves

source

fn AnnealingRun::accepted_moves(self : AnnealingRun) -> Int

AnnealingRun::final_temperature

source

fn AnnealingRun::final_temperature(self : AnnealingRun) -> Double

AnnealingRun::improved_moves

source

fn AnnealingRun::improved_moves(self : AnnealingRun) -> Int

AnnealingRun::iterations

source

fn AnnealingRun::iterations(self : AnnealingRun) -> Int

AnnealingRun::result

source

fn AnnealingRun::result(self : AnnealingRun) -> @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult

LocalSearchConfig

source

pub struct LocalSearchConfig {
  max_rounds : Int
  use_two_opt : Bool
  use_relocate : Bool
  use_swap : Bool
  use_reverse : Bool
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

Controls deterministic neighborhood improvement after construction or ALNS.

LocalSearchConfig::default

source

fn LocalSearchConfig::default() -> LocalSearchConfig

LocalSearchConfig::max_rounds

source

fn LocalSearchConfig::max_rounds(self : LocalSearchConfig) -> Int

LocalSearchConfig::tune

source

fn LocalSearchConfig::tune(self : LocalSearchConfig, max_rounds? : Int, use_two_opt? : Bool, use_relocate? : Bool, use_swap? : Bool, use_reverse? : Bool) -> LocalSearchConfig

LocalSearchConfig::uses_relocate

source

fn LocalSearchConfig::uses_relocate(self : LocalSearchConfig) -> Bool

LocalSearchConfig::uses_reverse

source

fn LocalSearchConfig::uses_reverse(self : LocalSearchConfig) -> Bool

LocalSearchConfig::uses_swap

source

fn LocalSearchConfig::uses_swap(self : LocalSearchConfig) -> Bool

LocalSearchConfig::uses_two_opt

source

fn LocalSearchConfig::uses_two_opt(self : LocalSearchConfig) -> Bool

MultiStartRun

source

pub struct MultiStartRun {
  result : @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult
  attempt_count : Int
  selected_strategy : @pqx123-lgtm/moonbit-vrp-solver/constructive.ConstructionStrategy
ConstructionStrategy
} derive(@moonbitlang/core/debug.Debug
Debug)

Result of comparing several deterministic construction strategies.

MultiStartRun::attempt_count

source

fn MultiStartRun::attempt_count(self : MultiStartRun) -> Int

MultiStartRun::result

source

fn MultiStartRun::result(self : MultiStartRun) -> @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult

MultiStartRun::selected_strategy

source

fn MultiStartRun::selected_strategy(self : MultiStartRun) -> @pqx123-lgtm/moonbit-vrp-solver/constructive.ConstructionStrategy
ConstructionStrategy

PortfolioResult

source

pub struct PortfolioResult {
  result : @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult
  strategies : Array[@pqx123-lgtm/moonbit-vrp-solver/constructive.ConstructionStrategy
ConstructionStrategy]
  selected_index : Int
  evaluated : Int
} derive(@moonbitlang/core/debug.Debug
Debug)

Result of a solver portfolio run across construction and improvement modes.

PortfolioResult::evaluated

source

fn PortfolioResult::evaluated(self : PortfolioResult) -> Int

PortfolioResult::result

source

fn PortfolioResult::result(self : PortfolioResult) -> @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult

PortfolioResult::selected_index

source

fn PortfolioResult::selected_index(self : PortfolioResult) -> Int

PortfolioResult::strategies

source

fn PortfolioResult::strategies(self : PortfolioResult) -> Array[@pqx123-lgtm/moonbit-vrp-solver/constructive.ConstructionStrategy
ConstructionStrategy]

SearchSummary

source

pub struct SearchSummary {
  instance_name : String
  iterations : Int
  seed_objective : Double
  best_objective : Double
  absolute_improvement : Double
  relative_improvement : Double
  accepted_moves : Int
  improved_moves : Int
  local_improvements : Int
  evaluated_candidates : Int
  feasible : Bool
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug)

A compact convergence summary for CLI and benchmark output.

SearchSummary::absolute_improvement

source

fn SearchSummary::absolute_improvement(self : SearchSummary) -> Double

SearchSummary::accepted_moves

source

fn SearchSummary::accepted_moves(self : SearchSummary) -> Int

SearchSummary::best_objective

source

fn SearchSummary::best_objective(self : SearchSummary) -> Double

SearchSummary::evaluated_candidates

source

fn SearchSummary::evaluated_candidates(self : SearchSummary) -> Int

SearchSummary::improved_moves

source

fn SearchSummary::improved_moves(self : SearchSummary) -> Int

SearchSummary::instance_name

source

fn SearchSummary::instance_name(self : SearchSummary) -> String

SearchSummary::is_feasible

source

fn SearchSummary::is_feasible(self : SearchSummary) -> Bool

SearchSummary::iterations

source

fn SearchSummary::iterations(self : SearchSummary) -> Int

SearchSummary::local_improvements

source

fn SearchSummary::local_improvements(self : SearchSummary) -> Int

SearchSummary::relative_improvement

source

fn SearchSummary::relative_improvement(self : SearchSummary) -> Double

SearchSummary::seed_objective

source

fn SearchSummary::seed_objective(self : SearchSummary) -> Double

WeightTable

source

type WeightTable derive(@moonbitlang/core/debug.Debug
Debug)

acceptance_probability

source

fn acceptance_probability(delta : Double, temperature : Double) -> Double

Computes the Metropolis acceptance probability for a positive delta.

anneal

source

fn anneal(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, solve_config : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig, config : AnnealingConfig) -> AnnealingRun

Runs a deterministic simulated-annealing search from a Clarke-Wright seed.

annealing_text

source

fn annealing_text(run : AnnealingRun) -> String

best_result_index

source

fn best_result_index(results : Array[@pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult]) -> Int?

Chooses the best result by objective, preferring feasible solutions on ties.

is_reproducible

source

fn is_reproducible(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, config : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig) -> Bool

Checks whether repeated deterministic runs produce the same route signature.

local_search

source

fn local_search(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, solution : @pqx123-lgtm/moonbit-vrp-solver/core.Solution
Solution, solve_config : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig, options : LocalSearchConfig) -> @pqx123-lgtm/moonbit-vrp-solver/core.Solution
Solution

Performs bounded deterministic improvement and never accepts a worse solution.

local_search_report

source

fn local_search_report(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, solution : @pqx123-lgtm/moonbit-vrp-solver/core.Solution
Solution, solve_config : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig, options : LocalSearchConfig) -> @pqx123-lgtm/moonbit-vrp-solver/operators.ImprovementReport
ImprovementReport

portfolio_text

source

fn portfolio_text(portfolio : PortfolioResult) -> String

quality_flags

source

fn quality_flags(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, result : @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult) -> Array[String]

Returns actionable quality flags without changing solver behavior.

search_summary_text

source

fn search_summary_text(summary : SearchSummary) -> String

solve

source

fn solve(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, config? : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig) -> @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult

solve_portfolio

source

fn solve_portfolio(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, config : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig) -> PortfolioResult

Evaluates a broad but bounded strategy portfolio and returns its best run.

solve_with_seed

source

fn solve_with_seed(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, seed_solution : @pqx123-lgtm/moonbit-vrp-solver/core.Solution
Solution, config? : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig) -> @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult

solve_with_strategies

source

fn solve_with_strategies(instance : @pqx123-lgtm/moonbit-vrp-solver/core.VrpInstance
VrpInstance, strategies : Array[@pqx123-lgtm/moonbit-vrp-solver/constructive.ConstructionStrategy
ConstructionStrategy], config : @pqx123-lgtm/moonbit-vrp-solver/core.SolveConfig
SolveConfig) -> MultiStartRun

Solves the same instance from several independent constructive seeds.

summarize_search

source

fn summarize_search(result : @pqx123-lgtm/moonbit-vrp-solver/core.SolveResult
SolveResult) -> SearchSummary

Converts a solver result into stable, machine-readable metrics.

Source Files

Install

Download zip

Vehicle-routing heuristics in pure MoonBit, with CVRP and VRPTW support.

vrpalnscvrpvrptwlogisticswasm

pqx123-lgtm

Apache-2.0

github.com/pqx123-lgtm/moonbit-vrp-solver

Updated 2 months ago

31 downloads

Site source Report issue Modules Skills CLI Build queue Statistics

#AnnealingConfig

#AnnealingConfig::cooling_rate

#AnnealingConfig::default

#AnnealingConfig::destroy_size

#AnnealingConfig::initial_temperature

#AnnealingConfig::iterations

#AnnealingConfig::seed

#AnnealingConfig::tune

#AnnealingRun

#AnnealingRun::accepted_moves

#AnnealingRun::final_temperature

#AnnealingRun::improved_moves

#AnnealingRun::iterations

#AnnealingRun::result

#LocalSearchConfig

#LocalSearchConfig::default

#LocalSearchConfig::max_rounds

#LocalSearchConfig::tune

#LocalSearchConfig::uses_relocate

#LocalSearchConfig::uses_reverse

#LocalSearchConfig::uses_swap

#LocalSearchConfig::uses_two_opt

#MultiStartRun

#MultiStartRun::attempt_count

#MultiStartRun::result

#MultiStartRun::selected_strategy

#PortfolioResult

#PortfolioResult::evaluated

#PortfolioResult::result

#PortfolioResult::selected_index

#PortfolioResult::strategies

#SearchSummary

#SearchSummary::absolute_improvement

#SearchSummary::accepted_moves

#SearchSummary::best_objective

#SearchSummary::evaluated_candidates

#SearchSummary::improved_moves

#SearchSummary::instance_name

#SearchSummary::is_feasible

#SearchSummary::iterations

#SearchSummary::local_improvements

#SearchSummary::relative_improvement

#SearchSummary::seed_objective

#WeightTable

#acceptance_probability

#anneal

#annealing_text

#best_result_index

#is_reproducible

#local_search

#local_search_report

#portfolio_text

#quality_flags

#search_summary_text

#solve

#solve_portfolio

#solve_with_seed

#solve_with_strategies

#summarize_search

Source Files

AnnealingConfig

AnnealingConfig::cooling_rate

AnnealingConfig::default

AnnealingConfig::destroy_size

AnnealingConfig::initial_temperature

AnnealingConfig::iterations

AnnealingConfig::seed

AnnealingConfig::tune

AnnealingRun

AnnealingRun::accepted_moves

AnnealingRun::final_temperature

AnnealingRun::improved_moves

AnnealingRun::iterations

AnnealingRun::result

LocalSearchConfig

LocalSearchConfig::default

LocalSearchConfig::max_rounds

LocalSearchConfig::tune

LocalSearchConfig::uses_relocate

LocalSearchConfig::uses_reverse

LocalSearchConfig::uses_swap

LocalSearchConfig::uses_two_opt

MultiStartRun

MultiStartRun::attempt_count

MultiStartRun::result

MultiStartRun::selected_strategy

PortfolioResult

PortfolioResult::evaluated

PortfolioResult::result

PortfolioResult::selected_index

PortfolioResult::strategies

SearchSummary

SearchSummary::absolute_improvement

SearchSummary::accepted_moves

SearchSummary::best_objective

SearchSummary::evaluated_candidates

SearchSummary::improved_moves

SearchSummary::instance_name

SearchSummary::is_feasible

SearchSummary::iterations

SearchSummary::local_improvements

SearchSummary::relative_improvement

SearchSummary::seed_objective

WeightTable

acceptance_probability

anneal

annealing_text

best_result_index

is_reproducible

local_search

local_search_report

portfolio_text

quality_flags

search_summary_text

solve

solve_portfolio

solve_with_seed

solve_with_strategies

summarize_search