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

ChildPhases

Trait for child phases that can solve a partition.

SolutionPartitioner

Splits a solution into independent partitions for parallel solving.