Module provider 

Converge platform integration

This module provides the interface for using optimization algorithms as converge-provider capabilities.

Usage in Converge

use converge_optimization::provider::{OptimizationProvider, OptimizationType};

// Register as a capability
let provider = OptimizationProvider::new(OptimizationType::Assignment);
capability_registry.register("optimize.assignment", provider);

Gate-Based Solving

For domain-specific optimization with invariants and promotion gates:

use converge_optimization::provider::GateProvider;
use converge_optimization::gate::ProblemSpec;

let provider = GateProvider::new();
let result = provider.solve("meeting-scheduler", &spec)?;
assert!(result.gate.is_promoted());

Structs

GateProvider

Gate-based optimization provider

GateSolveResult

Complete result from gate-based solving

OptimizationProvider

Optimization provider for converge platform

Enums

OptimizationRequest

Request for optimization

OptimizationResponse

Response from optimization

OptimizationType

Types of optimization available