Module partitioned 

Partitioned search phase for parallel solving.

Partitioned search splits a large problem into independent sub-problems (partitions) that can be solved in parallel, then merges the results.

Usage

1. Define a partitioner that knows how to split and merge your solution type
2. Create a partitioned search phase with child phases
3. The phase will partition the solution, solve each partition, and merge

Example

use solverforge_solver::phase::partitioned::{PartitionedSearchConfig, ThreadCount};

let config = PartitionedSearchConfig {
    thread_count: ThreadCount::Specific(4),
    log_progress: true,
};

Structs

FunctionalPartitioner

A simple partitioner that creates a specified number of partitions.

PartitionedSearchConfig

Configuration for partitioned search phase.

PartitionedSearchPhase

Partitioned search phase that solves partitions in parallel.

Enums

ThreadCount

Thread count configuration for partitioned search.

Traits

SolutionPartitioner

Splits a solution into independent partitions for parallel solving.

Type Aliases

PhaseFactory

A factory function for creating phases.

ScoreDirectorFactory

A factory function for creating score directors.