lumix.solvers.capabilities.LXSolverFeature

class lumix.solvers.capabilities.LXSolverFeature(value)[source]

Solver features/capabilities (bit flags for combinations).

Basic:

LINEAR: Linear programming INTEGER: Integer variables BINARY: Binary variables MIXED_INTEGER: Mixed-integer programming (LP + INTEGER)

Advanced:

QUADRATIC_CONVEX: Convex quadratic programming QUADRATIC_NONCONVEX: Non-convex quadratic programming SOCP: Second-order cone programming SDP: Semidefinite programming

Special:

SOS1: Special Ordered Set type 1 SOS2: Special Ordered Set type 2 INDICATOR: Indicator constraints CARDINALITY: Cardinality constraints

Non-linear:

PWL: Piecewise-linear functions EXPONENTIAL_CONE: Exponential cone constraints LOG: Logarithmic constraints

Features:

LAZY_CONSTRAINTS: Lazy constraint callbacks USER_CUTS: User cut callbacks HEURISTICS: Custom heuristics IIS: Irreducible Inconsistent Subsystem CONFLICT_REFINEMENT: Conflict refinement

__init__()

Attributes

LINEAR

INTEGER

BINARY

MIXED_INTEGER

QUADRATIC_CONVEX

QUADRATIC_NONCONVEX

SOCP

SDP

SOS1

SOS2

INDICATOR

CARDINALITY

PWL

EXPONENTIAL_CONE

LOG

LAZY_CONSTRAINTS

USER_CUTS

HEURISTICS

IIS

CONFLICT_REFINEMENT

SENSITIVITY_ANALYSIS

LINEAR = 1
INTEGER = 2
BINARY = 4
MIXED_INTEGER = 3
QUADRATIC_CONVEX = 4
QUADRATIC_NONCONVEX = 8
SOCP = 16
SDP = 32
SOS1 = 64
SOS2 = 128
INDICATOR = 256
CARDINALITY = 512
PWL = 1024
EXPONENTIAL_CONE = 2048
LOG = 4096
LAZY_CONSTRAINTS = 8192
USER_CUTS = 16384
HEURISTICS = 32768
IIS = 65536
CONFLICT_REFINEMENT = 131072
SENSITIVITY_ANALYSIS = 262144