Struct ConstraintProgrammingPack 

pub struct ConstraintProgrammingPack;

Trait Implementations

impl Pack for ConstraintProgrammingPack

fn name(&self) -> &'static str

Pack name (e.g., “meeting-scheduler”)

fn version(&self) -> &'static str

Pack version

fn validate_inputs(&self, inputs: &Value) -> Result<()>

Validate and deserialize the input payload

fn invariants(&self) -> &[InvariantDef]

Get invariant definitions for this pack

fn solve(&self, spec: &ProblemSpec) -> Result<PackSolveResult>

Solve the problem and return a proposed plan

fn check_invariants(&self, _plan: &ProposedPlan) -> Result<Vec<InvariantResult>>

Check invariants against a proposed plan

fn evaluate_gate( &self, _plan: &ProposedPlan, invariant_results: &[InvariantResult], ) -> PromotionGate

Evaluate promotion gate based on plan and invariant results