Crate solverforge 

SolverForge - A Constraint Solver in Rust

SolverForge is a high-performance constraint satisfaction/optimization solver. It helps you optimize planning and scheduling problems.

Quick Start

use solverforge::prelude::*;

#[problem_fact]
pub struct Employee {
    #[planning_id]
    pub id: i64,
    pub name: String,
}

#[planning_entity]
pub struct Shift {
    #[planning_id]
    pub id: i64,
    #[planning_variable]
    pub employee: Option<i64>,
}

#[planning_solution]
pub struct Schedule {
    #[problem_fact_collection]
    pub employees: Vec<Employee>,
    #[planning_entity_collection]
    pub shifts: Vec<Shift>,
    #[planning_score]
    pub score: Option<HardSoftScore>,
}

Modules

prelude

stream

Fluent constraint stream API.

Structs

BasicSpec

Problem specification for basic variable problems.

BendableScore

A score with a configurable number of hard and soft levels.

ConstraintAnalysis

Analysis of a single constraint’s contribution to the score.

DefaultDistanceMeter

Default distance meter using position difference.

HardMediumSoftScore

A score with hard, medium, and soft constraint levels.

HardSoftDecimalScore

A score with separate hard and soft constraint levels, using i64 with x100000 scaling.

HardSoftScore

A score with separate hard and soft constraint levels.

IncrementalBiConstraint

IncrementalUniConstraint

ListSpec

Problem specification for list variable problems.

ScoreAnalysis

Result of analyzing a solution’s constraints.

ScoreDirector

SoftScore

A simple score with a single integer value.

SolverManager

Manages async solve jobs with channel-based solution streaming.

Enums

SolverStatus

Status of a solving job.

Traits

Analyzable

Trait for solutions that can be analyzed for constraint violations.

ConstraintSet

CrossEntityDistanceMeter

Measures distance between two list positions, potentially across different entities.

Director

IncrementalConstraint

Score

Core trait for all score types in SolverForge.

Solvable

Trait for solutions that can be solved with channel-based solution streaming.

Functions

analyze

Analyzes a solution for constraint violations.

run_solver

Solves a problem using the given ProblemSpec for problem-specific logic.

Attribute Macros

planning_entity

planning_solution

problem_fact

Derive Macros

PlanningEntityImpl

PlanningSolutionImpl

ProblemFactImpl