Crate solverforge_bridge 

Public dynamic bridge contracts for host-language SolverForge bindings.

The bridge crate is intentionally separate from the macro path. Rust models keep using monomorphized descriptors, slots, and constraint sets. Binding crates use this crate to describe logical model identity and Rust-owned dynamic state without pretending that one host-language entity class maps to one concrete Rust entity type.

Structs

DynamicListVariableSlot

Public dynamic list variable slot.

DynamicScalarVariableSlot

Public dynamic scalar variable slot.

DynamicScore

Dynamic score used by host-language bindings.

EntityClassId

Logical planning-entity class identifier.

ProblemFactClassId

Logical problem-fact class identifier.

VariableId

Logical planning-variable identifier.

Enums

DynamicScoreFamily

Declared host-language score family.

Traits

DynamicListAccess

Object-safe dynamic list variable access.

DynamicModelBackend

Rust-owned dynamic planning model backend.

DynamicScalarAccess

Object-safe dynamic scalar variable access.

Functions

run_dynamic_solver_with_config

Run a solver from already-built runtime parts.

scoped_dynamic_score_family

Runs callback with a thread-local dynamic score family.