converge-optimization 3.7.2

Optimization algorithms for converge.zone - Rust reimplementation of OR-Tools subset
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

//! # converge-optimization
//!
//! Optimization solvers as first-class Suggestors for the Converge Engine.
//!
//! Every solver is accessed through [`PackSuggestor`] -- the ONLY public
//! interface. Register it in a formation and let it converge alongside
//! LLM agents, policy gates, and other Suggestors.
//!
//! ## Usage
//!
//! ```rust,ignore
//! use converge_pack::{PackSuggestor, ContextKey};
//! use converge_optimization::packs::budget_allocation::BudgetAllocationPack;
//!
//! let solver = PackSuggestor::new(
//!     BudgetAllocationPack,
//!     ContextKey::Seeds,
//!     ContextKey::Strategies,
//! );
//! engine.register_suggestor(solver);
//! ```
//!
//! ## Available Packs (21)
//!
//! LeadRouting, MeetingScheduler, BudgetAllocation, CapacityPlanning,
//! InventoryReplenishment, InventoryRebalancing, AnomalyTriage,
//! PricingGuardrails, ShippingChoice, VendorShortlist, BacklogPrioritization,
//! AssignmentPack, BinPacking, ConstraintProgramming, FacilityLocation,
//! GraphPartitioning, JobShopScheduling, NetworkFlow, StaffRostering,
//! TravelingSalesman, VehicleRouting
//!
//! ## Feature Flags
//!
//! - `sat` - Varisat SAT solver for constraint programming
//! - `ffi` - OR-Tools C++ FFI bindings
//! - `full` - All features

// ── Public API: Pack types re-exported from converge-pack ────────────

pub mod packs;

pub use converge_pack::{Pack, PackSolveResult, PackSuggestor};

/// Extension trait for `SolveBudgets` that bridges to optimization-specific `SolverParams`.
pub trait SolveBudgetsExt {
    /// Convert to SolverParams for existing solvers
    fn to_solver_params(&self, seed: u64) -> SolverParams;
}

impl SolveBudgetsExt for converge_pack::SolveBudgets {
    fn to_solver_params(&self, seed: u64) -> SolverParams {
        SolverParams {
            time_limit_seconds: self.time_limit.as_secs_f64(),
            iteration_limit: self.iteration_limit,
            num_threads: 0,
            random_seed: seed,
            verbosity: 0,
        }
    }
}

// ── Algorithm implementations (used by Packs) ────────────────────────

pub mod assignment;
pub mod graph;
pub mod knapsack;
pub mod provider;
pub mod scheduling;
pub mod setcover;
pub mod suggestors;

#[cfg(feature = "sat")]
pub mod cp;

mod error;
mod types;

pub use error::{Error, Result};
pub use types::*;