Expand description
§kizzasi-logic
TensorLogic bridge for Kizzasi - constraint enforcement and safety guardrails.
This module converts logical rules into:
- Training Loss: Penalize the model during training if it violates physics
- Inference Guards: Runtime checks to reject “hallucinated” physics
§COOLJAPAN Ecosystem
This crate integrates with tensorlogic for neuro-symbolic constraint
definitions and uses scirs2-core for all array operations.
Modules§
- block_
utils - Utility functions for creating block structures
Structs§
- AC3
- AC-3 Algorithm for Arc Consistency
- ADMM
Config - Configuration for ADMM-based consensus optimization
- Active
Constraint Boundary Learner - Active learner for exploring constraint boundaries
- Adaptive
Constraint Order - Adaptive constraint ordering for efficient early termination
- Adaptive
Weighting - Adaptive constraint weighting for balanced training
- Affine
Equality - Affine equality constraint: Ax = b
- Anomaly
Based Constraint Discovery - Anomaly detector for discovering new constraints
- Anytime
Solver - Anytime constraint solver that improves solution quality over time
- Approximate
Solution - Result of approximate constraint satisfaction
- Augmented
Lagrangian - Augmented Lagrangian method for constrained optimization
- Backtracking
Search - Backtracking search with constraint propagation
- Barrier
Method - Barrier method for inequality constrained optimization
- Batch
Constraint Checker - Batch constraint checker for evaluating multiple points efficiently
- Benders
Config - Configuration for Benders decomposition
- Benders
Decomposition - Benders Decomposition for mixed-integer programming
- Benders
Iteration Result - Result of Benders iteration
- Block
- Block specification for block-wise decomposition
- Block
Coordinate Descent - Block coordinate descent for structured constraints
- Bounded
Error Solver - Soft constraint approximation with bounded error
- CSP
- Constraint Satisfaction Problem
- CVaR
Constraint - Risk-aware constraint using CVaR (Conditional Value at Risk)
- Cache
Stats - Cache statistics
- Chance
Constraint - Chance constraint: Pr[g(x) <= 0] >= 1 - ε
- Conflict
Resolver - Conflict resolution for constraint sets
- ConsensusADMM
- Consensus ADMM solver for decomposed optimization
- Consistency
Analysis - Result of constraint consistency analysis
- Constrained
Projection - Projects predictions onto valid constraint manifolds
- Constraint
- A single constraint on signal values
- Constraint
Aware Loss - Constraint-aware loss function for training
- Constraint
Builder - Builder for constructing constraints
- Constraint
Change Detector - Constraint change detector
- Constraint
Consistency Checker - Constraint Consistency Checker
- Constraint
Inspector - Constraint inspector for interactive debugging
- Constraint
Interpolator - Temporal constraint interpolation
- Constraint
Learner - Learn constraints from positive and negative examples
- Constraint
Repairer - Constraint repairer for handling infeasible constraint sets
- Constraint
Report - Debugging report for multiple constraints
- Constraint
Sensitivity Analyzer - Constraint Sensitivity Analyzer
- Constraint
Set - Collection of soft and hard constraints
- Constraint
Synthesizer - Synthesize constraints from specifications
- Constraint
Time Series - Time series analysis of constraint satisfaction
- Counterfactual
Analyzer - Counterfactual analyzer for finding nearest feasible points
- Decomposition
Level - A single level in the hierarchical decomposition
- Derivative
Constraint - Higher-order derivative constraint
- Differentiable
Projection - Differentiable projection using soft projection with temperature parameter
- Differential
Algebraic Constraint - Differential-algebraic constraint (DAE) Represents constraints of the form: F(x, dx/dt, t) = 0
- Differential
Constraint Set - Constraint set for differential constraints
- Distributionally
Robust Constraint - Distributionally robust constraint: worst-case expectation over ambiguity set
- Dual
Decomposition - Dual decomposition for separable constraints
- Dykstra
Projection - Dykstra’s alternating projection algorithm for convex sets
- Epsilon
Constraint Method - ε-constraint method for multi-objective optimization
- Feedback
Constraint Tuner - Feedback-based constraint tuner
- Forward
Checker - Forward checking: maintain arc consistency during search
- GPUConstraint
Checker - GPU-accelerated constraint checker
- GPUGradient
Computer - GPU-accelerated constraint gradient computation
- GPUProjector
- GPU-accelerated projection onto constraint sets
- Gradient
Projection - Gradient-based projection for smooth nonlinear constraints
- Guardrail
- A single guardrail combining a constraint with enforcement policy
- Guardrail
Set - A set of guardrails for multi-dimensional signals
- Hierarchical
Constraint - Constraint with priority level for hierarchical relaxation
- Hierarchical
Decomposition - Hierarchical decomposition for very large-scale problems
- Hierarchical
Relaxation - Hierarchical constraint relaxation solver
- Hypervolume
Indicator - Hypervolume indicator for Pareto front quality
- Hysteresis
Checker - Checker for multiple hysteresis constraints
- Hysteresis
Constraint - Hysteresis constraint for preventing rapid state transitions
- IISFinder
- Minimal Infeasible Subset (IIS) finder
- Incremental
Solver - Incremental Constraint Solver
- Incremental
State - Incremental solver state
- Inspection
Result - Result of constraint inspection
- Integral
Constraint - Integral constraint over a time window
- LTLChecker
- LTL constraint checker that evaluates formulas over time traces
- Lagrangian
Relaxation - Lagrangian relaxation for constrained optimization during training
- Lazy
Constraint Evaluator - Lazy constraint evaluator that skips evaluation when not needed
- Linear
Constraint - Linear constraint: a·x (op) b
- Linear
Constraint Set - A set of linear constraints
- Linear
Dynamics - Linear dynamics: x_{t+1} = Ax_t + Bu_t
- Local
Sensitivity - Local sensitivity analysis result for a single constraint
- MPCConfig
- MPC Configuration
- MPCController
- MPC Controller
- MPCSolution
- MPC Solution
- Minimal
Violating Subset Finder - Minimal violating subset finder
- Multi
Objective Optimizer - Multi-objective optimizer
- Multi
Objective Solution - Multi-objective solution point
- Nonlinear
Constraint - Nonlinear constraint defined by an arbitrary function
- Online
Constraint Learner - Online learner for refining constraints from streaming data
- Online
Learning System - Unified online learning system combining multiple strategies
- OnlineSTL
Monitor - Online STL Monitor: incrementally processes streaming data
- Parallel
Constraint Checker - Parallel constraint checker using rayon (when available)
- Parameter
Update - Parameter update for constraint modification
- Path
Integral Constraint - Path integral constraint for trajectory optimization
- Penalty
Method - Penalty method for constrained optimization
- Predictive
Constraint Adapter - Predictive constraint adaptation
- Quadratic
Constraint - Quadratic constraint: x’Qx + c’x (op) b
- Quadratic
Constraint Set - Set of quadratic constraints
- Quadratic
Cost - Quadratic cost function: ||x - x_ref||^2_Q + ||u - u_ref||^2_R
- Repair
Result - Result of constraint repair operation
- Robust
Constraint - Robust constraint: g(x, ξ) <= 0 for all ξ in uncertainty set
- STLMonitor
- STL Monitor: computes robustness of signal traces
- Sensitivity
Analysis - Result of constraint sensitivity analysis
- SetMembership
Constraint - Set membership constraint
- Signal
- Signal: time series of multi-dimensional values
- Sliding
Window Checker - Collection of sliding window constraints
- Sliding
Window Constraint - Sliding window constraint for time-series data
- Soft
Hard Constraint - Wrapper for any constraint with soft/hard mode
- State
Dependent Constraint - State-dependent constraint activation
- Subproblem
- A subproblem in hierarchical decomposition
- Temporal
Checker - Temporal constraint checker that maintains state
- Temporal
Constraint - Temporal constraint for rate-of-change limits
- Temporal
Constraint Builder - Builder for temporal constraints
- Time
Interval - Time interval for temporal operators
- Time
Varying Constraint - A constraint that varies over time
- Time
Varying Constraint Set - Manager for multiple time-varying constraints
- Vectorized
Constraints - Vectorized operations for efficient batch processing
- Violation
Attribution Analyzer - Violation attribution analyzer
- Violation
Explainer - Unified violation explainer combining multiple strategies
- Violation
Explanation - Explanation for a constraint violation
- Violation
Stats - Statistics about constraint violations over a sequence of values
- Weighted
SumMethod - Weighted sum method for multi-objective optimization
Enums§
- Activation
Function - Activation function type
- Ambiguity
Set - Types of ambiguity sets for distributionally robust optimization
- Benders
Cut - Benders cut: either optimality or feasibility
- Bound
Type - Type of bound constraint
- Chance
Constraint Method - Methods for handling chance constraints
- Composed
Constraint - Composed constraint from multiple constraints with logical operators
- Constraint
Change - Incremental constraint change type
- Constraint
Mode - Constraint enforcement mode
- Constraint
Params - Constraint parameters that can be updated
- Constraint
Template - Constraint template for synthesis
- Decomposition
Error - Errors that can occur during constraint decomposition
- Derivative
Order - Order of derivative
- Discrete
Constraint - Discrete constraint between variables
- Divergence
Type - Types of φ-divergences
- Geometric
Set - Geometric set types for membership constraints
- Interpolation
Mode - Interpolation mode for smooth transitions
- LTLFormula
- LTL formula combining operators and atomic propositions
- LTLOperator
- Linear Temporal Logic operators for expressing temporal properties
- Linear
Constraint Type - Type of linear constraint
- Logic
Error - Errors that can occur in the logic module
- Logical
Operator - Logical operators for combining constraints
- Nonlinear
Constraint Type - Type of nonlinear constraint
- Penalty
Function - Penalty function type for soft constraints
- Quadratic
Constraint Type - Type of quadratic constraint
- Rate
Type - Rate-of-change constraint type
- Repair
Strategy - Strategy for repairing infeasible constraints
- Robustness
Approach - Approaches to handle robust constraints
- STLFormula
- STL Formula with quantitative semantics
- Sliding
Window Fn - Types of sliding window constraints
- Symbolic
Expr - Symbolic constraint expression for reasoning
- Uncertainty
Set - Types of uncertainty sets
Traits§
- Constrained
Inference - Trait for constrained inference
- Dynamics
Model - Dynamics model for MPC
- MPCCost
- Cost function for MPC
- Violation
Computable - Trait for constraints that can compute violation
Functions§
- validate_
constraint_ set - Helper to validate constraint sets before use
Type Aliases§
- Array1
- one-dimensional array
- Decomposition
Result - Result type for decomposition operations
- Domain
- Domain of possible values for a variable
- Logic
Result - Result type alias for logic operations
- VarId
- Variable identifier