lumix.solvers.capabilities.CPSAT_CAPABILITIES

lumix.solvers.capabilities.CPSAT_CAPABILITIES = LXSolverCapability(name='OR-Tools CP-SAT', features=<LXSolverFeature.BINARY|INTEGER: 6>, max_variables=2147483647, max_constraints=2147483647, supports_warmstart=True, supports_parallel=True, supports_callbacks=False)

Describes a solver’s capabilities.

Used to: - Query what features a solver supports - Automatically select appropriate linearization methods - Provide meaningful errors when features are unavailable