problem
relationalai.semantics.reasoners.prescriptive
Prescriptive reasoning: define and solve decision problems.
Provides Problem for defining and solving decision problems — optimization, constraint satisfaction, and feasibility — with variables, objectives, and constraints. Problems are serialized and sent to an external solver service; results are imported back after the solve completes.
Functions
Section titled “Functions”Functions exposed by this module.
implies() Return an implication constraint (`
left => right`). all_different() Return an all-different constraint.
special_ordered_set_type_1() Return an SOS1 constraint (at most one variable is non-zero).
special_ordered_set_type_2() Return an SOS2 constraint (at most two consecutive variables are non-zero).
Classes
Section titled “Classes”Classes exposed by this module.
Problem Define and solve a decision problem on a model.