The experimental.solvers Module
Index of the classes, functions, and submodules of the relationalai.experimental.solvers module.
Classes
Section titled “Classes” Operators Context manager that overrides operators to build SolverExpression objects.
Provider Class for creating, managing, and monitoring solver engines and jobs.
Solver Initializes and configures a solver backend to run optimization models.
SolverExpression Represents symbolic expressions for solver constraints and objectives.
SolverModel Main entry point for defining, inspecting, and solving optimization models.
Functions
Section titled “Functions” abs() Takes the absolute value of a solver variable or expression.
all_different() Enforces pair-wise inequality among the input arguments.
and_() Represents the logical conjunction (AND) of the input arguments.
count() Counts how many rows are in the cross join of the input arguments.
exp() Raises e (Euler's number) to the power of the input argument.
if_then_else() Enforces a conditional expression that evaluates to one of two branches based on a binary condition.
iff() Enforces a logical biconditional relationship between two binary expressions.
implies() Enforces a logical implication between two binary expressions.
integer_interval() Constrains solver variables or expressions to integer values within a specified range.
integer() Constrains solver variables or expressions to integer values.
interval() Constrains solver variables or expressions to values within a specified range.
log() Computes the natural logarithm of a solver variable or expression.
max() Computes the maximum value among the input arguments.
min() Computes the minimum value among the input arguments.
not_() Enforces the logical negation of the input argument.
operators() Enables expression-based syntax for writing solver constraints and objectives.
or_() Represents the logical disjunction (OR) of multiple expressions.
product() Computes the product of one or more solver variables or expressions.
sum() Computes the sum of one or more solver variables or expressions.
xor() Enforces an exclusive-or condition between two binary expressions.
zero_one() Constrains solver variables or expressions to binary values (0 or 1).