Struct SolverBuilder 

pub struct SolverBuilder<S: PlanningSolution> { /* private fields */ }

Builder for creating solvers from PlanningSolution types.

This builder automatically extracts domain models and constraints from the solution type and generates the required WASM module.

Type Parameters

• S: The solution type that implements PlanningSolution

Example

let solver = SolverBuilder::<Timetable>::new()
    .with_termination(TerminationConfig::new().with_spent_limit("PT5M"))
    .build()?;

Implementations

impl<S: PlanningSolution> SolverBuilder<S>

pub fn new() -> Self

Creates a new SolverBuilder with default settings.

The default service URL is http://localhost:8080.

pub fn with_service_url(self, url: impl Into<String>) -> Self

Sets the URL of the solver service.

Example

let builder = SolverBuilder::<Timetable>::new()
    .with_service_url("http://solver.example.com:8080");

pub fn with_termination(self, termination: TerminationConfig) -> Self

Sets the termination configuration.

Example

let builder = SolverBuilder::<Timetable>::new()
    .with_termination(
        TerminationConfig::new()
            .with_spent_limit("PT5M")
            .with_best_score_feasible(true)
    );

pub fn with_environment_mode(self, mode: EnvironmentMode) -> Self

Sets the environment mode for the solver.

Example

let builder = SolverBuilder::<Timetable>::new()
    .with_environment_mode(EnvironmentMode::Reproducible);

pub fn with_random_seed(self, seed: u64) -> Self

Sets the random seed for reproducible solving.

Example

let builder = SolverBuilder::<Timetable>::new()
    .with_random_seed(42);

pub fn with_move_thread_count(self, count: MoveThreadCount) -> Self

Sets the move thread count for parallel solving.

Example

let builder = SolverBuilder::<Timetable>::new()
    .with_move_thread_count(MoveThreadCount::Auto);

pub fn with_service(self, service: Arc<dyn SolverService>) -> Self

Uses a custom solver service instead of the default HTTP service.

This is useful for testing or when using a different transport.

pub fn domain_model() -> DomainModel

Returns the domain model for the solution type.

This is extracted from the PlanningSolution::domain_model() method.

pub fn constraints() -> ConstraintSet

Returns the constraint set for the solution type.

This is extracted from the PlanningSolution::constraints() method.

pub fn build<B: LanguageBridge>(self) -> SolverForgeResult<TypedSolver<S, B>>

Builds a TypedSolver that can solve instances of the solution type.

Errors

Returns an error if WASM module generation fails.

Example

let solver = SolverBuilder::<Timetable>::new()
    .with_termination(TerminationConfig::new().with_spent_limit("PT5M"))
    .build()?;

pub fn build_with_bridge<B: LanguageBridge>( self, _bridge: Arc<B>, ) -> SolverForgeResult<TypedSolver<S, B>>

Builds a TypedSolver with a specific bridge instance.

This is a convenience method that creates a solver ready to use with the provided bridge.

Trait Implementations

impl<S: PlanningSolution> Default for SolverBuilder<S>

fn default() -> Self

Returns the “default value” for a type.